镜像自地址
https://github.com/wikimedia/mediawiki-extensions-LDAPGroups.git
已同步 2024-06-03 02:40:30 +08:00
137be6ced7
Additional changes: * Dropped .php5 and .inc files from .phpcs.xml (T200956). * Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222). Change-Id: I5a2c45b8f32638e8d81a430c6b1a01c159a005d9
11 行
372 B
XML
11 行
372 B
XML
<?xml version="1.0"?>
|
|
<ruleset>
|
|
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki">
|
|
<exclude name="PSR12.Properties.ConstantVisibility.NotFound" />
|
|
</rule>
|
|
<file>.</file>
|
|
<arg name="bootstrap" value="./vendor/mediawiki/mediawiki-codesniffer/utils/bootstrap-ci.php"/>
|
|
<arg name="extensions" value="php"/>
|
|
<arg name="encoding" value="UTF-8"/>
|
|
</ruleset>
|