Merge pull request #573 from reedy/newparallellint

Use php-parallel-lint/php-parallel-lint instead of jakub-onderka/php-parallel-lint
This commit is contained in:
Bill Zimmerman 2020-04-30 14:25:22 +02:00 committed by GitHub
commit cc7a066d43
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,7 +4,7 @@
"license": "GPL-3.0",
"keywords": ["raspberrypi"],
"require-dev": {
"jakub-onderka/php-parallel-lint": "1.0.0",
"php-parallel-lint/php-parallel-lint": "^1.2.0",
"phpcompatibility/php-compatibility": "^9.3.5",
"squizlabs/php_codesniffer": "^3.5.5"
},