build: Updating jakub-onderka/php-console-highlighter to 0.4.0
build: Updating jakub-onderka/php-console-highlighter to 0.4.0

Change-Id: Ia29c7ba1647ea28ea97aa02bda0d6cf7bc525b40

wikimedia/mediawiki-extensions-Disambiguator,wikimedia/mediawiki-extensions-Disambiguator