This run took 20 seconds.
From 1b04a58865cfdbd32741e96d687530d6c590306f Mon Sep 17 00:00:00 2001
From: libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>
Date: Mon, 20 Dec 2021 04:21:27 +0000
Subject: [PATCH] build: Updating mediawiki/mediawiki-phan-config to 0.11.1
Additional changes:
* eslint: Added `wikimedia/mediawiki` profile (T262222).
Change-Id: I695a1c0809281c48c8ff7073535e4b3e53204345
---
.eslintrc.json | 3 ++-
composer.json | 2 +-
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/.eslintrc.json b/.eslintrc.json
index 04f9da7..6acf306 100644
--- a/.eslintrc.json
+++ b/.eslintrc.json
@@ -1,6 +1,7 @@
{
"root": true,
"extends": [
- "wikimedia/server"
+ "wikimedia/server",
+ "wikimedia/mediawiki"
]
}
diff --git a/composer.json b/composer.json
index dc61a93..0dacc52 100644
--- a/composer.json
+++ b/composer.json
@@ -20,7 +20,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"
--
2.20.1
**purged**