Fix coverage annotations
authorMax Semenik <maxsem.wiki@gmail.com>
Wed, 20 Jul 2016 06:05:35 +0000 (23:05 -0700)
committerMax Semenik <maxsem.wiki@gmail.com>
Wed, 20 Jul 2016 06:05:35 +0000 (23:05 -0700)
commit836494c891aeb87a94f7025354ce4d3c9b13aeea
tree331d33f7c812b22197ffe668a113c0d7bd4da402
parent53830e84ede2967ba49bee230b629d680d648cf4
Fix coverage annotations

Broken by Id1071fc0647892438e5cd0e3ee621fbdaaa64014
Causes https://integration.wikimedia.org/ci/job/mediawiki-core-code-coverage/2146/console

Change-Id: I9dd0ff7a5fa17c6395dee52ad87faf1f8e612904
tests/phpunit/includes/registration/ExtensionProcessorTest.php