2017-05-05 - releng
20:11	<hasharDisappear>	Mass pushing addition of jakub-onderka/php-console-highlighter to all mediawiki extensions having php-parallel-lint ( example: https://gerrit.wikimedia.org/r/#/c/352215/ )	[releng]