hoo added a comment. In https://phabricator.wikimedia.org/T103626#1396333, @JanZerebecki wrote:
> https://gerrit.wikimedia.org/r/#/c/220339/ That's a workaround, to make sure we can include `Maintenance.php` if the maintenance script is invoked manually, yet it doesn't break on Jenkins, as we only include `Maintenance.php` if `Maintenance` isn't already loaded. TASK DETAIL https://phabricator.wikimedia.org/T103626 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: JanZerebecki, hoo Cc: Aklapper, hoo, Wikidata-bugs, aude, hashar _______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
