Maniphest T173928

Remove mediawiki extension loading from diff/diff master branch
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	Addshore
	Aug 23 2017, 2:03 PM

Tags

Referenced Files

None

Subscribers

Description

I believe this was removed in the non php7 only release but it should also be removed from the master branch!

https://github.com/wmde/Diff/blob/master/Diff.mw.php

Related Objects
Search...

		Status	Subtype	Assigned	Task
		Resolved		Addshore	T173818 [Epic] Kill the Wikidata build step
		Resolved		WMDE-leszek	T173936 Ensure all wikidata "libraries" don't interact with MediaWiki and are independent
		Resolved		WMDE-leszek	T173928 Remove mediawiki extension loading from diff/diff master branch

Event Timeline

Addshore created this task.Aug 23 2017, 2:03 PM

Restricted Application added subscribers: TerraCodes, Aklapper. · View Herald TranscriptAug 23 2017, 2:03 PM

Addshore mentioned this in T173818: [Epic] Kill the Wikidata build step.Aug 23 2017, 2:04 PM

Addshore edited parent tasks, added: T173936: Ensure all wikidata "libraries" don't interact with MediaWiki and are independent; removed: T173818: [Epic] Kill the Wikidata build step.Aug 23 2017, 2:21 PM

Addshore mentioned this in T173936: Ensure all wikidata "libraries" don't interact with MediaWiki and are independent.Aug 23 2017, 2:40 PM

Removed from master in https://github.com/wmde/Diff/pull/86.
The new version of the library still to be released.

Going to mark as resolved as getting it into master is the only requirement of this task :)

This was only so eventually when we do end up using a newer release the credits dont come back!

Restricted Application added a project: User-Addshore. · View Herald TranscriptAug 28 2017, 9:19 AM

Addshore reassigned this task from Addshore to WMDE-leszek.Aug 28 2017, 9:19 AM

Addshore moved this task from Unsorted 💣 to Closing ✔️ on the User-Addshore board.Aug 28 2017, 11:47 AM