Do you use https://github.com/wikimedia/mediawiki-extensions-WikimediaMaintenance/blob/master/ourUsers.php ? Are you likely to?
If not, it should probably be deleted as it's obviously unused since I moved it into the "extension" away from MW core
Do you use https://github.com/wikimedia/mediawiki-extensions-WikimediaMaintenance/blob/master/ourUsers.php ? Are you likely to?
If not, it should probably be deleted as it's obviously unused since I moved it into the "extension" away from MW core
Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
Delete ourUsers.php | mediawiki/extensions/WikimediaMaintenance | master | +0 -74 |
Change 460334 had a related patch set uploaded (by Reedy; owner: Reedy):
[mediawiki/extensions/WikimediaMaintenance@master] Delete ourUsers.php
Change 460334 merged by jenkins-bot:
[mediawiki/extensions/WikimediaMaintenance@master] Delete ourUsers.php