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 <umherirrender_de...@web.de>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to