mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-23 21:33:25 +00:00
build: Updating mediawiki/mediawiki-phan-config to 0.15.0
Change-Id: I5b52e1fc62c2e2bace3ccc540910bb4bdb6ac4b0
This commit is contained in:
parent
78f661cc3b
commit
333de09213
|
@ -2,7 +2,7 @@
|
||||||
"license": "GPL-2.0-or-later",
|
"license": "GPL-2.0-or-later",
|
||||||
"require-dev": {
|
"require-dev": {
|
||||||
"mediawiki/mediawiki-codesniffer": "45.0.0",
|
"mediawiki/mediawiki-codesniffer": "45.0.0",
|
||||||
"mediawiki/mediawiki-phan-config": "0.14.0",
|
"mediawiki/mediawiki-phan-config": "0.15.0",
|
||||||
"mediawiki/minus-x": "1.1.3",
|
"mediawiki/minus-x": "1.1.3",
|
||||||
"php-parallel-lint/php-console-highlighter": "1.0.0",
|
"php-parallel-lint/php-console-highlighter": "1.0.0",
|
||||||
"php-parallel-lint/php-parallel-lint": "1.4.0"
|
"php-parallel-lint/php-parallel-lint": "1.4.0"
|
||||||
|
|
Loading…
Reference in a new issue