Joerg has uploaded a new change for review.
https://gerrit.wikimedia.org/r/137917
Change subject: Fatal error: Unsupported operand types in Collection.body.php
..
Fatal error: Unsupported operand types in Collection.body.php
jenkins-bot has submitted this change and it was merged.
Change subject: Fatal error: Unsupported operand types in Collection.body.php
..
Fatal error: Unsupported operand types in Collection.body.php
Bug: 60538
Change-Id:
jenkins-bot has submitted this change and it was merged.
Change subject: Fatal error: Unsupported operand types in Collection.body.php
..
Fatal error: Unsupported operand types in Collection.body.php
Bug: 60538
Change-Id: