wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-12-18 02:40:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Upgrade mediawiki/mediawiki-codesniffer to v43.0.0

Browse source 
Change-Id: I14948431331e02e0659e80b159f4b2e0ed0469ef
This commit is contained in:
Umherirrender 2024-03-11 22:44:41 +01:00
parent f55f0b7785
commit 29503101e5
3 changed files with 34 additions and 29 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
composer.json
View file

@ -1,6 +1,6 @@
{ {
"require-dev": { "require-dev": {
"mediawiki/mediawiki-codesniffer": "41.0.0", "mediawiki/mediawiki-codesniffer": "43.0.0",
"mediawiki/mediawiki-phan-config": "0.14.0", "mediawiki/mediawiki-phan-config": "0.14.0",
"mediawiki/minus-x": "1.1.1", "mediawiki/minus-x": "1.1.1",
"php-parallel-lint/php-console-highlighter": "1.0.0", "php-parallel-lint/php-console-highlighter": "1.0.0",
@ -18,5 +18,10 @@
], ],
"phan": "phan -d . --long-progress-bar", "phan": "phan -d . --long-progress-bar",
"phpcs": "phpcs -sp --cache" "phpcs": "phpcs -sp --cache"
},
"config": {
"allow-plugins": {
"dealerdirect/phpcodesniffer-composer-installer": true
}
} }
} }

2
includes/RSSParser.php
View file

@ -223,7 +223,7 @@ class RSSParser {
return false; return false;
} }
list( $etag, $lastModified, $rss ) = $data; [ $etag, $lastModified, $rss ] = $data;
if ( !isset( $rss->items ) ) { if ( !isset( $rss->items ) ) {
return false; return false;
} }