Archive the FormatNum extension on gerrit.wikimedia.org
Open, Needs TriagePublicRequest

Description

mediawiki/extensions/FormatNum has a MOVED file in it and should be archived on gerrit.wikimedia.org:

  • Remove from mediawiki/extensions ( along with in .gitmodules)
  • Archive the extension's diffusion repository: (rEFON)
  • Mark the repository read-only in Gerrit: (Provide Gerrit Repository URL)
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptSep 17 2017, 11:55 AM

Change 379417 had a related patch set uploaded (by MacFan4000; owner: MacFan4000):
[mediawiki/extensions@master] Rm FormatNum

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

MacFan4000 updated the task description. (Show Details)Wed, Sep 20, 9:32 PM

Change 379417 merged by Chad:
[mediawiki/extensions@master] Rm FormatNum

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

MacFan4000 updated the task description. (Show Details)Wed, Sep 20, 10:46 PM
MacFan4000 added a subscriber: demon.
MacFan4000 updated the task description. (Show Details)Wed, Sep 20, 11:39 PM