jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/403713 )
Change subject: Exclude /lib/ from phpcs
......................................................................
Exclude /lib/ from phpcs
Change-Id: Idb5873575e99fa9439b0e4938fb46cd94649e938
---
M .phpcs.xml
1 file changed, 1 insertion(+), 5 deletions(-)
Approvals:
Umherirrender: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.phpcs.xml b/.phpcs.xml
index 4259c51..2a28a16 100644
--- a/.phpcs.xml
+++ b/.phpcs.xml
@@ -2,11 +2,6 @@
<ruleset name="MediaWiki">
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki">
<!-- Disable failing rules -->
- <exclude
name="Generic.Files.OneObjectStructurePerFile.MultipleFound" />
- <exclude
name="MediaWiki.Commenting.FunctionComment.MissingParamComment" />
- <exclude
name="MediaWiki.Commenting.FunctionComment.MissingParamName" />
- <exclude
name="MediaWiki.Commenting.FunctionComment.MissingParamTag" />
- <exclude name="MediaWiki.Files.ClassMatchesFilename.NotMatch" />
<exclude
name="MediaWiki.Commenting.FunctionComment.MissingDocumentationProtected" />
<exclude
name="MediaWiki.Commenting.FunctionComment.MissingDocumentationPublic" />
<exclude name="Squiz.Scope.MethodScope.Missing" />
@@ -14,4 +9,5 @@
<file>.</file>
<arg name="encoding" value="UTF-8" />
<arg name="extensions" value="php,php5,inc,sample" />
+ <exclude-pattern>./lib/*</exclude-pattern>
</ruleset>
--
To view, visit https://gerrit.wikimedia.org/r/403713
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Idb5873575e99fa9439b0e4938fb46cd94649e938
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/LifeWeb
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
