mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-12 06:27:01 +00:00
build: Updating mediawiki/mediawiki-phan-config to 0.15.0
Change-Id: Ib4454278d6a02db8a2eb2d83c8f84217d00e6170
This commit is contained in:
parent
bad67da014
commit
6072043843
|
@ -1,7 +1,7 @@
|
||||||
{
|
{
|
||||||
"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