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:
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
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:
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