mediawiki/extensions/WikiShare: main (log #437686)

sourcepatches

This run took 15 seconds.

From a8321e329bd2e4804f906ab94269f5aa43eafb63 Mon Sep 17 00:00:00 2001
From: libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>
Date: Wed, 8 Sep 2021 22:06:52 +0000
Subject: [PATCH] build: Updating php-parallel-lint/php-parallel-lint to 1.3.1

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

diff --git a/composer.json b/composer.json
index 11b3a68..8b6d98e 100644
--- a/composer.json
+++ b/composer.json
@@ -3,7 +3,7 @@
 		"mediawiki/mediawiki-codesniffer": "37.0.0",
 		"mediawiki/minus-x": "1.1.1",
 		"php-parallel-lint/php-console-highlighter": "0.5.0",
-		"php-parallel-lint/php-parallel-lint": "1.3.0"
+		"php-parallel-lint/php-parallel-lint": "1.3.1"
 	},
 	"scripts": {
 		"test": [
-- 
2.20.1

**purged**
Source code is licensed under the AGPL.