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

QChris created this task.Sep 3 2020, 7:46 AM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptSep 3 2020, 7:46 AM

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

hashar updated the task description. (Show Details)Sep 3 2020, 7:58 AM
QChris updated the task description. (Show Details)Sep 3 2020, 8:01 AM
QChris updated the task description. (Show Details)
QChris added a comment.Sep 3 2020, 8:03 AM

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

MarkAHershberger closed this task as Resolved.Sep 3 2020, 1:39 PM

yep... thanks.

Pppery added a subscriber: Pppery.Sep 3 2020, 1:48 PM

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