Too much trouble. How do I submit a patch or diff or whatever? Is
phabircator the primary git repo these days? If so, how do i male a pull
request?
On Tue, Sep 17, 2019, 03:13 Andre Klapper <aklapper(a)wikimedia.org> wrote:
Hi Otheus,
On Mon, 2019-09-16 at 21:58 +0200, Otheus wrote:
REL 1_31 introduced 'mwdebug' option in
Maintenance.php (in the code it
mentions that --debug was taken by some script). The code incorrectly
adds
the option via addOption() by setting the 4th
argument to true (takes an
argument). This should be false. At least, the rest of the code is clear,
and so is the intent: there is no option to be taken.
https://phabricator.wikimedia.org/source/mediawiki/browse/REL1_31/maintenan…
Thanks for finding this. Can you please create a bug report?
https://www.mediawiki.org/wiki/How_to_report_a_bug
Thanks!
andre
--
Andre Klapper (he/him) | Bugwrangler / Developer Advocate
https://blogs.gnome.org/aklapper/
_______________________________________________
MediaWiki-l mailing list
To unsubscribe, go to:
https://lists.wikimedia.org/mailman/listinfo/mediawiki-l