01:14:34 1 | ERROR | [ ] An error occurred during processing; checking has been 01:14:34 | | aborted. The error message was: Undefined index: 01:14:34 | | scope_opener in 01:14:34 | | /home/jenkins/workspace/mwext-testextension-hhvm-jessie/src/extensions/Score/vendor/mediawiki/mediawiki-codesniffer/MediaWiki/Sniffs/ControlStructures/IfElseStructureSniff.php
https://integration.wikimedia.org/ci/job/mwext-testextension-hhvm-jessie/28165/console