wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-12-18 09:41:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Updating development dependencies

Browse source 
* jakub-onderka/php-parallel-lint: 0.9 → 0.9.2

Change-Id: I00830bb7fa6dd98bb49b9813d5178e85298a4dc7
This commit is contained in:
Kunal Mehta 2016-01-05 10:32:33 -08:00
parent 7ca530526c
commit 708a72b5e7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
composer.json
View file

@ -1,6 +1,6 @@
{ {
"require-dev": { "require-dev": {
"jakub-onderka/php-parallel-lint": "0.9", "jakub-onderka/php-parallel-lint": "0.9.2",
"mediawiki/mediawiki-codesniffer": "0.5.1" "mediawiki/mediawiki-codesniffer": "0.5.1"
}, },
"scripts": { "scripts": {