mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-27 15:50:29 +00:00
build: Move exclude from composer.json to .phpcs.xml
Exclude the whole lib/ve/* folder instead of the node_modules folder The mediawiki ruleset sets exclude the node_modules folder in root since version 19.0.0 (ab87d2eb60) Change-Id: I585cc0524c179b2a9b472300a39d2d7c7b3ba383
This commit is contained in:
parent
3ffa8f92df
commit
67a191f41a
|
@ -15,4 +15,5 @@
|
||||||
<file>.</file>
|
<file>.</file>
|
||||||
<arg name="extensions" value="php"/>
|
<arg name="extensions" value="php"/>
|
||||||
<arg name="encoding" value="UTF-8"/>
|
<arg name="encoding" value="UTF-8"/>
|
||||||
|
<exclude-pattern type="relative">^lib/ve/*</exclude-pattern>
|
||||||
</ruleset>
|
</ruleset>
|
||||||
|
|
|
@ -17,7 +17,7 @@
|
||||||
"phpcbf"
|
"phpcbf"
|
||||||
],
|
],
|
||||||
"phan": "phan -d . --long-progress-bar",
|
"phan": "phan -d . --long-progress-bar",
|
||||||
"phpcs": "phpcs -sp --cache --ignore=*/node_modules/"
|
"phpcs": "phpcs -sp --cache"
|
||||||
},
|
},
|
||||||
"config": {
|
"config": {
|
||||||
"allow-plugins": {
|
"allow-plugins": {
|
||||||
|
|
Loading…
Reference in a new issue