checkwiki.py allows -s?

[Tim Hatch <trac@…>]

source:trunk/wiki-default/checkwiki.py@3882#L118​ specifies that it accepts the options "-d" and "-s" if I read it correctly. But it doesn't do anything with "-s". Is this for compatibility with something before r300 when it was first versioned?

[Tim Hatch <trac@…>]

To be clear, I'm just asking if checkwiki.py should be patched as follows, because it accepts the option -s without doing anything with it or mentioning it in the help string.

checkwiki.py

@@ -115 +115 @@
 
 if __name__ == '__main__':
     try:
-        opts, args = getopt.getopt(sys.argv[1:], "ds")
+        opts, args = getopt.getopt(sys.argv[1:], "d")
     except getopt.GetoptError:
         # print help information and exit:
         print "%s [-d]" % sys.argv[0]

[Christian Boos]

checkwiki.py will be moved in contrib

[Christian Boos]

Done in r4951.