mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-30 19:15:43 +00:00
028ffe6458
* grunt: 1.1.0 → 1.4.0 * https://npmjs.com/advisories/1677 (CVE-2021-23362) * https://npmjs.com/advisories/1684 (CVE-2020-7729) * stylelint-config-wikimedia: 0.10.1 → 0.10.3 * https://npmjs.com/advisories/1677 (CVE-2021-23362) * lodash: 4.17.19 → 4.17.21 * https://npmjs.com/advisories/1673 (CVE-2021-23337) Additional changes: * Dropped .php5 and .inc files from .phpcs.xml (T200956). Change-Id: Ic41840260999cdc496cdba8faac469933428eafc
11 lines
381 B
XML
11 lines
381 B
XML
<?xml version="1.0"?>
|
|
<ruleset>
|
|
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki">
|
|
<exclude name="MediaWiki.Commenting.FunctionComment.MissingDocumentationPrivate" />
|
|
<exclude name="MediaWiki.WhiteSpace.SpaceBeforeSingleLineComment.NewLineComment" />
|
|
</rule>
|
|
<file>.</file>
|
|
<arg name="extensions" value="php"/>
|
|
<arg name="encoding" value="UTF-8"/>
|
|
</ruleset>
|