Page MenuHomePhabricator

Archive the MolHandler extension
Closed, ResolvedPublicRequest

Description

Reason
Archived on MediaWiki.org by @Uvas_magicas. Filing task per T190671

To-do list

Event Timeline

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

[translatewiki@master] mediawiki-extensions.txt: Remove two extensions

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

Change 892485 merged by jenkins-bot:

[translatewiki@master] mediawiki-extensions.txt: Remove two extensions

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

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

[mediawiki/extensions@master] Remove two extensions

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

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

[mediawiki/vagrant@master] Remove MolHandler extension from Vagrant

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

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

[integration/config@master] Zuul: Archive two extensions (MolHandler and StlHandler)

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

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

[mediawiki/extensions/MolHandler@master] Archive repository

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

Change 892524 merged by jenkins-bot:

[mediawiki/vagrant@master] Remove the MolHandler extension from Vagrant

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

Change 892488 merged by Hashar:

[mediawiki/extensions@master] Remove two extensions

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

Change 892530 merged by jenkins-bot:

[integration/config@master] Zuul: Archive two extensions (MolHandler and StlHandler)

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

Change 892534 merged by Hashar:

[mediawiki/extensions/MolHandler@master] Archive repository

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

hashar subscribed.

All steps have been completed.