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

sourcepatches

This run took 11 seconds.

From 85e7b8f6a4c73c3464f1f47e031b0d7a47a5f9f5 Mon Sep 17 00:00:00 2001
From: libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>
Date: Wed, 5 Jan 2022 05:06:30 +0000
Subject: [PATCH] build: Updating php-parallel-lint/php-parallel-lint to 1.3.1

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