Page MenuHomePhabricator

Archive the RevisionCommentSupplement extension
Closed, ResolvedPublicRequest

Description

Reason
Apparently broken since at least 2018 (T196529). Incompatible with MW 1.35+. Not actively maintained since 2013. Seems unused.

To-do list

Event Timeline

Change 968989 had a related patch set uploaded (by Zoranzoki21; author: Zoranzoki21):

[translatewiki@master] mediawiki-extensions.txt: Remove the RevisionCommentSupplement extension

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

Change 968991 had a related patch set uploaded (by Zoranzoki21; author: Zoranzoki21):

[integration/config@master] Zuul: Archive the RevisionCommentSupplement extension

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

Change 968992 had a related patch set uploaded (by Zoranzoki21; author: Zoranzoki21):

[mediawiki/extensions@master] Remove the RevisionCommentSupplement extension

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

Change 968995 had a related patch set uploaded (by Zoranzoki21; author: Zoranzoki21):

[mediawiki/extensions/RevisionCommentSupplement@master] Archive repository

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

Change 968989 merged by jenkins-bot:

[translatewiki@master] mediawiki-extensions.txt: Remove the RevisionCommentSupplement extension

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

Change 968991 merged by jenkins-bot:

[integration/config@master] Zuul: Archive the RevisionCommentSupplement extension

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

Mentioned in SAL (#wikimedia-releng) [2023-10-27T16:03:34Z] <James_F> Zuul: Archive the RevisionCommentSupplement extension for T343616

Change 968995 merged by Jforrester:

[mediawiki/extensions/RevisionCommentSupplement@master] Archive repository

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

Change 968992 merged by DannyS712:

[mediawiki/extensions@master] Remove the RevisionCommentSupplement extension

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

hashar subscribed.

I have deleted the GitHub repository, marked the Gerrit repo read-only and deactivated the Diffusion repo. Should be complete now.