[MediaWiki-commits] [Gerrit] Fix "Undefined property: DiffEngine::$seq" under HHVM in Dai... - change (mediawiki/core)

2015-12-27 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Fix "Undefined property: DiffEngine::$seq" under HHVM in DairikiDiff.php .. Fix "Undefined property: DiffEngine::$seq" under HHVM in DairikiDiff.php Bug:

[MediaWiki-commits] [Gerrit] Fix "Undefined property: DiffEngine::$seq" under HHVM in Dai... - change (mediawiki/core)

2015-12-25 Thread Nemo bis (Code Review)
Nemo bis has uploaded a new change for review. https://gerrit.wikimedia.org/r/260962 Change subject: Fix "Undefined property: DiffEngine::$seq" under HHVM in DairikiDiff.php .. Fix "Undefined property: DiffEngine::$seq" under

[MediaWiki-commits] [Gerrit] Fix "Undefined property: DiffEngine::$seq" under HHVM in Dai... - change (mediawiki/core)

2015-11-30 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Fix "Undefined property: DiffEngine::$seq" under HHVM in DairikiDiff.php .. Fix "Undefined property: DiffEngine::$seq" under HHVM in DairikiDiff.php Bug:

[MediaWiki-commits] [Gerrit] Fix "Undefined property: DiffEngine::$seq" under HHVM in Dai... - change (mediawiki/core)

2015-11-29 Thread Edward Chernenko (Code Review)
Edward Chernenko has uploaded a new change for review. https://gerrit.wikimedia.org/r/255927 Change subject: Fix "Undefined property: DiffEngine::$seq" under HHVM in DairikiDiff.php .. Fix "Undefined property: DiffEngine::$se