Page MenuHomePhabricator

Is WikimediaMaintenance/ourUsers.php still used
Closed, ResolvedPublic


Do you use ? 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

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

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