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

Change-Id: I2f0382a994d8e21d9a1ecd0acd7946d1214d7ab6

wikimedia/mediawiki-extensions-CategoryTagSorter,wikimedia/mediawiki-extensions-CategoryTagSorter