Manually bump PHP Parallel Lint version

Author: R4356th

composer.json

@@ -7,7 +7,7 @@
   "require-dev": {
     "mediawiki/mediawiki-phan-config": "^0.10.6",
     "mediawiki/mediawiki-codesniffer": "37.0.0",
-    "php-parallel-lint/php-parallel-lint": "^1.2.0",
+    "php-parallel-lint/php-parallel-lint": "^1.3.1",
     "php-parallel-lint/php-console-highlighter": "^0.5.0",
     "mediawiki/minus-x": "^1.1"
   },