Page MenuHomePhabricator

Unarchive mediawiki/extensions/MagicNumberedHeadings
Closed, ResolvedPublic

Description

@MarkAHershberger is still maintaining the MagicNumberedHeadings extension and wants to have it unarchived.

See https://www.mediawiki.org/w/index.php?title=Gerrit/New_repositories/Requests/Entries&diff=4069571&oldid=4068952

Here's whats been done so far:

Event Timeline

Change 623922 had a related patch set uploaded (by QChris; owner: Christian Aistleitner):
[integration/config@master] Revert "Archive the MagicNumberedHeadings extension"

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

Change 623922 merged by jenkins-bot:
[integration/config@master] Revert "Archive the MagicNumberedHeadings extension"

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

QChris updated the task description. (Show Details)

@MarkAHershberger: The Gerrit/Git part of the unarchiving is done. Can I leave the rest (Extension's Wiki page etc) to you?

Shouldn't the extension also be re-added to translatewiki.net? It was there (albeit with only one translatable message) before the original archival.

Pppery <no-reply@phabricator.wikimedia.org> writes:

Shouldn't the extension also be re-added to translatewiki.net? It
was there (albeit with only one translatable message) before the
original archival.

Yes, but I'm afraid I don't have a clue about that. @Nikerabbit?

Just for information and to connect both tasks: Archive was done with T248758