wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-24 02:40:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "build: Update mediawiki-codesniffer from 0.3.0 to 0.4.0"

Browse source
This commit is contained in:
jenkins-bot 2015-09-28 23:53:36 +00:00 committed by Gerrit Code Review
parent 544a299fc4 c0ec9489f0
commit 12cae795dd
2 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
composer.json
View file

@ -2,12 +2,12 @@
"license": "GPL-2.0+",
"require-dev": {
"jakub-onderka/php-parallel-lint": "0.9",
"mediawiki/mediawiki-codesniffer": "0.3.0"
"mediawiki/mediawiki-codesniffer": "0.4.0"
},
"scripts": {
"test": [
"parallel-lint . --exclude vendor",
"phpcs --standard=vendor/mediawiki/mediawiki-codesniffer/MediaWiki --extensions=php,php5,inc --ignore=vendor -p ."
"phpcs -p -s"
]
}
}

7
phpcs.xml Normal file
View file

@ -0,0 +1,7 @@
<?xml version="1.0"?>
<ruleset>
<rule ref="vendor/mediawiki/mediawiki-codesniffer/MediaWiki"/>
<file>.</file>
<arg name="extensions" value="php"/>
<exclude-pattern>vendor</exclude-pattern>
</ruleset>