diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2021-07-12 12:08:36 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2021-07-12 12:08:36 +0000 |
| commit | e1449a9bd339244409b0681403cec3b1754927e0 (patch) | |
| tree | a4668a2ddd40da4b0e3dbf2dad6a402b735339aa /composer.json | |
| parent | b8d11cd3537ce9b5e7c352d9007cb05483d37410 (diff) | |
| parent | f7487b6cacf4db398cc8910be6db9ac2c7630150 (diff) | |
| download | mediawikicore-e1449a9bd339244409b0681403cec3b1754927e0.tar.gz mediawikicore-e1449a9bd339244409b0681403cec3b1754927e0.zip | |
Merge "build: Upgrade php-parallel-lint from 1.2.0 to 1.3.0"
Diffstat (limited to 'composer.json')
| -rw-r--r-- | composer.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/composer.json b/composer.json index d2e5334861d8..091d823bcbbe 100644 --- a/composer.json +++ b/composer.json @@ -88,7 +88,7 @@ "nikic/php-parser": "4.10.2", "nmred/kafka-php": "0.1.5", "php-parallel-lint/php-console-highlighter": "0.5", - "php-parallel-lint/php-parallel-lint": "1.2.0", + "php-parallel-lint/php-parallel-lint": "1.3.0", "phpunit/phpunit": "^8.5", "psy/psysh": "0.10.5", "seld/jsonlint": "1.8.3", |