mediawiki/extensions/Views: main (log #565447)

sourcepatches

This run took 22 seconds.

From 5fb3407908b2bc44dc2ee43ee6f0577a1037a7fe Mon Sep 17 00:00:00 2001
From: libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>
Date: Thu, 13 Jan 2022 22:47:17 +0000
Subject: [PATCH] build: Updating php-parallel-lint/php-parallel-lint to 1.3.1

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

diff --git a/composer.json b/composer.json
index ea92fd6..77f0107 100644
--- a/composer.json
+++ b/composer.json
@@ -2,7 +2,7 @@
 	"require-dev": {
 		"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.