Page MenuHomePhabricator

Is WikimediaMaintenance/ourUsers.php still used
Closed, ResolvedPublic

Description

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

Event Timeline

Reedy triaged this task as Low priority.Sep 13 2018, 2:15 AM
Reedy added a project: Technical-Debt.
Marostegui added a subscriber: Marostegui.

We, DBAs, don't use it.

Change 460334 had a related patch set uploaded (by Reedy; owner: Reedy):
[mediawiki/extensions/WikimediaMaintenance@master] Delete ourUsers.php

https://gerrit.wikimedia.org/r/460334

Change 460334 merged by jenkins-bot:
[mediawiki/extensions/WikimediaMaintenance@master] Delete ourUsers.php

https://gerrit.wikimedia.org/r/460334

Reedy claimed this task.
Reedy removed a project: Patch-For-Review.