HomePhabricator

Version 1.2.5 (July 20, 2014)

Description

Version 1.2.5 (July 20, 2014)

Bug fix:

  • Patch to core is no longer required after integration of custom diff engines into MediaWiki core with new hook "GetDifferenceEngine", see: "Add hook for custom difference engine (WikEdDiff)" https://gerrit.wikimedia.org/r/#/c/166143/10

Change-Id: I6e0c0b8d990ef6893ee9e918455b38206ee9079e