wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-28 01:20:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Updating composer dependencies

Browse source 
* mediawiki/minus-x: 0.3.2 → 1.0.0
* mediawiki/mediawiki-phan-config: 0.9.0 → 0.9.2

Change-Id: I5014cbcb67d347c840584915bb4e12c622707897
This commit is contained in:
libraryupgrader 2020-01-30 02:49:36 +00:00 committed by Umherirrender
parent 03c14c837f
commit 1418d7115a
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
composer.json
View file

@ -3,8 +3,8 @@
"jakub-onderka/php-parallel-lint": "1.0.0",
"jakub-onderka/php-console-highlighter": "0.4.0",
"mediawiki/mediawiki-codesniffer": "29.0.0",
"mediawiki/minus-x": "0.3.2",
"mediawiki/mediawiki-phan-config": "0.9.0"
"mediawiki/minus-x": "1.0.0",
"mediawiki/mediawiki-phan-config": "0.9.2"
},
"scripts": {
"fix": [

2
includes/RSSData.php
View file

@ -55,7 +55,7 @@ class RSSData {
* same as pubDate.
*
* @param string $name name of the element we have
* @return string Name to map it to
* @return string|null Name to map it to
*/
protected function rssTokenToName( $name ) {
$tokenNames = [