mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox
synced 2024-11-14 18:55:16 +00:00
67e27d00b7
Change-Id: I80f669257f2daa12d7b0a9de88b146e5027a2343
10 lines
316 B
XML
10 lines
316 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<ruleset>
|
|
<rule ref="vendor/mediawiki/mediawiki-codesniffer/MediaWiki"/>
|
|
<file>.</file>
|
|
<arg name="extensions" value="php,php5,inc"/>
|
|
<arg name="encoding" value="utf8"/>
|
|
<exclude-pattern>vendor</exclude-pattern>
|
|
<exclude-pattern>node_modules</exclude-pattern>
|
|
</ruleset>
|