Convert PageTools to use extension registration
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	Kizule
	Apr 11 2020, 9:58 AM

Details

	Subject	Repo	Branch	Lines +/-
	Convert PageTools to use extension registration	mediawiki/extensions/PageTools	master	+44 -21

Customize query in gerrit

Related Objects
Search...

View Standalone Graph

This task is connected to more than 200 other tasks. Only direct parents and subtasks are shown here. Use View Standalone Graph to show more of the graph.

Status	Subtype	Assigned	Task
			· · ·
Open	Goal	None	T98668 Convert all extensions and skins on gerrit to use extension registration
Resolved		Kizule	T249991 Convert PageTools to use extension registration
			· · ·

Event Timeline

Kizule created this task.Apr 11 2020, 9:58 AM

Change 588077 had a related patch set uploaded (by Zoranzoki21; owner: Zoranzoki21):
[mediawiki/extensions/PageTools@master] Convert PageTools to use extension registration

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

gerritbot added a project: Patch-For-Review.Apr 11 2020, 10:06 AM

Kizule moved this task from Inbox to To deploy on the User-Kizule board.Apr 11 2020, 10:06 AM

Change 588077 merged by jenkins-bot:
[mediawiki/extensions/PageTools@master] Convert PageTools to use extension registration

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

Kizule closed this task as Resolved.Aug 8 2020, 8:42 AM

Kizule mentioned this in rEPTO41dcee8a947e: Convert PageTools to use extension registration.Aug 8 2020, 8:48 AM