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 <[email protected]> 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/maintenance/Maintenance.php$525 > > 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 > _______________________________________________ MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
