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

sourcepatches

This run took 23 seconds.

From 64c2dc407197bf15ab4414c5baba1327224f8a1e Mon Sep 17 00:00:00 2001
From: libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>
Date: Sun, 9 Jan 2022 14:46:44 +0000
Subject: [PATCH] build: Updating php-parallel-lint/php-parallel-lint to 1.3.1

Change-Id: I2baab8f9300eb8a3e3e0647482d88be507c2ab83
---
 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.