wikimedia/mediawiki-extensions-PageImages
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages synced 2024-11-23 16:06:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Updating mediawiki/mediawiki-codesniffer to 33.0.0

Browse source 
Additional changes:
* Dropped .inc files from .phpcs.xml (T200956).
* Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222).

Change-Id: I0c7faa3794fae5ed0d4da5a58a9342177a9a5add
This commit is contained in:
libraryupgrader 2020-11-04 06:46:23 +00:00
parent 6fa0a18037
commit 68e12a83c9
3 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.eslintrc.json
View file

@ -1,4 +1,7 @@
{
"root": true,
"extends": "wikimedia"
"extends": [
"wikimedia",
"wikimedia/mediawiki"
]
}

2
.phpcs.xml
View file

@ -2,6 +2,6 @@
<ruleset>
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki" />
<file>.</file>
<arg name="extensions" value="php,inc" />
<arg name="extensions" value="php" />
<arg name="encoding" value="UTF-8" />
</ruleset>

2
composer.json
View file

@ -1,6 +1,6 @@
{
"require-dev": {
"mediawiki/mediawiki-codesniffer": "31.0.0",
"mediawiki/mediawiki-codesniffer": "33.0.0",
"mediawiki/mediawiki-phan-config": "0.10.3",
"mediawiki/minus-x": "1.1.0",
"php-parallel-lint/php-console-highlighter": "0.5.0",