Page MenuHomePhabricator

Convert TocTree to use extension registration
Closed, ResolvedPublic

Description

The TocTree extension needs to be converted to use the new extension registration system. More details are available on T87875.

Event Timeline

gerritbot subscribed.

Change 187467 had a related patch set uploaded (by Legoktm):
Add extension.json and fix $wgExtensionCredits

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

Patch-For-Review

Change 187467 merged by jenkins-bot:
Add extension.json and fix $wgExtensionCredits

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

Legoktm claimed this task.

Change 587609 had a related patch set uploaded (by Krinkle; owner: Krinkle):
[mediawiki/extensions/TocTree@master] Remove duplication of extension.json from TocTree (require MW 1.32+)

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

Change 587609 merged by jenkins-bot:
[mediawiki/extensions/TocTree@master] Remove duplication of extension.json from TocTree (require MW 1.32+)

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