build: Updating mediawiki/mediawiki-phan-config to 0.11.1

Additional changes:
* eslint: Added `wikimedia/mediawiki` profile (T262222).

Change-Id: I1e6880bac17582337a473b926703d49965c18010
This commit is contained in:
libraryupgrader 2021-11-14 01:50:29 +00:00
parent f6167be3e5
commit 0f4675a818
2 changed files with 3 additions and 2 deletions

View file

@ -1,6 +1,7 @@
{
"root": true,
"extends": [
"wikimedia/server"
"wikimedia/server",
"wikimedia/mediawiki"
]
}

View file

@ -1,7 +1,7 @@
{
"require-dev": {
"mediawiki/mediawiki-codesniffer": "38.0.0",
"mediawiki/mediawiki-phan-config": "0.11.0",
"mediawiki/mediawiki-phan-config": "0.11.1",
"mediawiki/minus-x": "1.1.1",
"php-parallel-lint/php-console-highlighter": "0.5.0",
"php-parallel-lint/php-parallel-lint": "1.3.1"