mediawiki/extensions/Wikidata.org: main (log #559767)

sourcepatches

This run took 23 seconds.

From b7bdf66e572b93d34ef2b6c04a21d34a12501a77 Mon Sep 17 00:00:00 2001
From: libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>
Date: Sun, 19 Dec 2021 11:19:09 +0000
Subject: [PATCH] build: Updating mediawiki/mediawiki-phan-config to 0.11.1

Change-Id: Ie2e49da13c16651b9f198d66828cbf2303b2ffc3
---
 composer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/composer.json b/composer.json
index 1fcbc8a..899c41b 100644
--- a/composer.json
+++ b/composer.json
@@ -27,7 +27,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**
Source code is licensed under the AGPL.