wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-12-11 15:37:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add phan-taint-check-plugin

Browse source 
Change-Id: Iba4a73608ad205790c0f3d60b843d9448ae52ebb
This commit is contained in:
Umherirrender 2018-08-08 19:04:32 +02:00 committed by Kunal Mehta
parent 2d1bb50eb2
commit bf50acff3a
2 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
RSSHooks.php
View file

@ -21,6 +21,7 @@ class RSSHooks {
* @param Parser $parser
* @param PPFrame $frame parser context
* @return string
* @suppress SecurityCheck-XSS see T203210
*/
static function renderRss( $input, array $args, Parser $parser, PPFrame $frame ) {
global $wgRSSCacheAge, $wgRSSCacheCompare, $wgRSSNamespaces,

3
composer.json
View file

@ -15,5 +15,8 @@
"phpcs -p -s",
"minus-x check ."
]
},
"extra": {
"phan-taint-check-plugin": "1.3.0"
}
}