From 40a60e4c3dcff5fce143aebdc2080a19c419df0f Mon Sep 17 00:00:00 2001 From: Reedy Date: Mon, 11 Feb 2019 03:27:55 +0000 Subject: [PATCH] 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 --- RELEASE-NOTES-1.33 | 1 + composer.json | 1 + 2 files changed, 2 insertions(+) diff --git a/RELEASE-NOTES-1.33 b/RELEASE-NOTES-1.33 index f493351814..216280d5a1 100644 --- 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 cffc57a6de..fe051a15ad 100644 --- 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", -- 2.20.1