mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount
synced 2024-11-27 17:50:50 +00:00
978929f63f
Additional changes: * Dropped .php5 and .inc files from .phpcs.xml (T200956). Change-Id: Ib9fa84aba26770ddb1c2be75df933b1a437fedbb
22 lines
683 B
XML
22 lines
683 B
XML
<?xml version="1.0"?>
|
|
<ruleset>
|
|
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki">
|
|
<exclude name="Generic.Files.LineLength.TooLong" />
|
|
</rule>
|
|
<rule ref="Generic.Files.LineLength">
|
|
<properties>
|
|
<property name="lineLimit" value="111" />
|
|
</properties>
|
|
<exclude-pattern>Editcount\.alias\.php</exclude-pattern>
|
|
</rule>
|
|
<rule ref="Generic.Files.OneObjectStructurePerFile">
|
|
<exclude-pattern>Editcount_body\.php</exclude-pattern>
|
|
</rule>
|
|
<rule ref="MediaWiki.Files.ClassMatchesFilename">
|
|
<exclude-pattern>Editcount_body\.php</exclude-pattern>
|
|
</rule>
|
|
<file>.</file>
|
|
<arg name="extensions" value="php"/>
|
|
<arg name="encoding" value="UTF-8"/>
|
|
</ruleset>
|