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 created this task.Sep 13 2018, 2:13 AM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptSep 13 2018, 2:13 AM
Reedy triaged this task as Low priority.Sep 13 2018, 2:15 AM
Reedy added a project: Technical-Debt.
Marostegui moved this task from Triage to Done on the DBA board.Sep 13 2018, 5:23 AM
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 closed this task as Resolved.Sep 13 2018, 12:34 PM
Reedy claimed this task.
Reedy removed a project: Patch-For-Review.