Convert PhpHighlight to use extension registration
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	Jayprakash12345
	Feb 10 2018, 12:43 PM

Details

	Subject	Repo	Branch	Lines +/-
	Convert PhpHighlight to use extension registration	mediawiki/extensions/PhpHighlight	master	+49 -25

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		Jayprakash12345	T186958 Convert PhpHighlight to use extension registration
			· · ·

Event Timeline

Jayprakash12345 triaged this task as Medium priority.Feb 10 2018, 12:43 PM

Jayprakash12345 created this task.

Restricted Application added a project: User-Jayprakash12345. · View Herald TranscriptFeb 10 2018, 12:43 PM

Restricted Application added a subscriber: Aklapper. · View Herald Transcript

Change 409569 had a related patch set (by Jayprakash12345) published:
[mediawiki/extensions/PhpHighlight@master] Convert PhpHighlight to use extension registration

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

gerritbot added a project: Patch-For-Review.Feb 10 2018, 12:47 PM

Jayprakash12345 moved this task from Backlog to Configured on the User-Jayprakash12345 board.Feb 10 2018, 12:47 PM

Liuxinyu970226 added a subscriber: IAlex.May 19 2018, 3:55 PM

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

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

Jayprakash12345 closed this task as Resolved.Dec 18 2018, 2:55 AM

Jayprakash12345 removed a project: Patch-For-Review.

Jayprakash12345 removed a subscriber: gerritbot.