Anomie has uploaded a new change for review.
https://gerrit.wikimedia.org/r/322941
Change subject: Have phpcs skip local configuration files
......................................................................
Have phpcs skip local configuration files
There's little point in phpcs checking LocalSettings.php or the other
*.php files in .gitignore.
Change-Id: Ibea15a3f3a7bfe2571e253ba9e19c1d91dfddeff
---
M phpcs.xml
1 file changed, 3 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/41/322941/1
diff --git a/phpcs.xml b/phpcs.xml
index edce2ea..4693b42 100644
--- a/phpcs.xml
+++ b/phpcs.xml
@@ -31,4 +31,7 @@
<exclude-pattern type="relative">^extensions/</exclude-pattern>
<exclude-pattern type="relative">^skins/</exclude-pattern>
<exclude-pattern>.git</exclude-pattern>
+ <exclude-pattern>AdminSettings.php</exclude-pattern>
+ <exclude-pattern>LocalSettings.php</exclude-pattern>
+ <exclude-pattern>StartProfiler.php</exclude-pattern>
</ruleset>
--
To view, visit https://gerrit.wikimedia.org/r/322941
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ibea15a3f3a7bfe2571e253ba9e19c1d91dfddeff
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Anomie <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
