Add jakub-onderka/php-console-highlighter 0.3.2 explicitly

We pin it in various libraries, might aswell in core for completenes

Change-Id: I659c880c9e16e4eab7050874f75c9eb5c9fa958c

diff --git a/RELEASE-NOTES-1.33 b/RELEASE-NOTES-1.33
index f493351..216280d 100644 (file)
--- a/RELEASE-NOTES-1.33
+++ b/RELEASE-NOTES-1.33
@@ -56,6 +56,7 @@ production.
 ==== New external libraries ====
 * Added wikimedia/password-blacklist 0.1.4.
 * Added guzzlehttp/guzzle 6.3.3.
+* Added jakub-onderka/php-console-highlighter 0.3.2 explicitly (dev-only).
 
 ==== Changed external libraries ====
 * Updated OOUI from v0.29.2 to v0.30.2.

diff --git a/composer.json b/composer.json
index cffc57a..fe051a1 100644 (file)
--- a/composer.json
+++ b/composer.json
@@ -62,6 +62,7 @@
                "composer/spdx-licenses": "1.4.0",
                "giorgiosironi/eris": "^0.10.0",
                "hamcrest/hamcrest-php": "^2.0",
+               "jakub-onderka/php-console-highlighter": "0.3.2",
                "jakub-onderka/php-parallel-lint": "0.9.2",
                "jetbrains/phpstorm-stubs": "dev-master#38ff1a581b297f7901e961b8c923862ea80c3b96",
                "justinrainbow/json-schema": "~5.2",