[MediaWiki-commits] [Gerrit] Merge Wikidiff3 into DiffEngine - change (mediawiki/core)

2016-05-17 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Merge Wikidiff3 into DiffEngine .. Merge Wikidiff3 into DiffEngine Change-Id: Ib4d083a5200824e4d032de6921c375e455e77fb2 --- M autoload.php M includes/diff

[MediaWiki-commits] [Gerrit] Merge Wikidiff3 into DiffEngine - change (mediawiki/core)

2016-04-26 Thread MaxSem (Code Review)
MaxSem has uploaded a new change for review. https://gerrit.wikimedia.org/r/285548 Change subject: Merge Wikidiff3 into DiffEngine .. Merge Wikidiff3 into DiffEngine Change-Id: Ib4d083a5200824e4d032de6921c375e455e77fb2 --- M