Convert PGFTikZ to use extension registration
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	Kizule
	Jan 11 2020, 2:54 PM

Details

	Subject	Repo	Branch	Lines +/-
	Convert PGFTikZ to use extension registration	mediawiki/extensions/PGFTikZ	master	+75 -66

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	T242512 Convert PGFTikZ to use extension registration
			· · ·

Event Timeline

Kizule created this task.Jan 11 2020, 2:54 PM

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

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

gerritbot added a project: Patch-For-Review.Jan 11 2020, 3:01 PM

Peachey88 edited projects, added MediaWiki-extensions-PGFTikZ; removed MediaWiki-extensions-Other.Jan 17 2020, 11:16 AM

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

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

Kizule closed this task as Resolved.Feb 19 2020, 7:42 PM