dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a92a23e) | patch
Respect undeclared command line options
authorTim Starling <tstarling@wikimedia.org>
Thu, 10 Mar 2016 05:18:13 +0000 (16:18 +1100)
committerTim Starling <tstarling@wikimedia.org>
Thu, 10 Mar 2016 05:22:21 +0000 (16:22 +1100)
commit23361af7fd58d576c6c9a1315c98580d8052748c
tree04a926f0cfe47380ac754dd2b072397eed129f08tree | snapshot
parenta92a23e8a24456c56957144808eb8d62a07a227ccommit | diff
Respect undeclared command line options

This was broken by I847d45684ccd. We should really give an error when an
undeclared option is given (not ignore the option as in the previous
code), but most commandLine.inc users rely on undeclared options being
passed through to the $options global, and the change in I847d45684ccd
was apparently accidental.

Change-Id: Icec654a386bc79bf3e4ba81644c3c51ac5e093ba
maintenance/Maintenance.php diff | blob | history
Wiklou, le Wiki du Wiklou