mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount
synced 2024-11-24 00:07:16 +00:00
a6599e6fe6
Additional changes: * Dropped .php5 and .inc files from .phpcs.xml (T200956). * Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222). Change-Id: I222da0d80ad6a7f80d0b622273db5614d56a0620
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>
|