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

adding casts. better ?

Browse source
This commit is contained in:
Thomas Gries 2012-03-09 23:28:30 +00:00
parent 8580bf3267
commit 62960795a8
Notes: Thomas Gries 2012-03-09 23:28:30 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/113546
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
RSSHooks.php
View file

@ -20,7 +20,7 @@ class RSSHooks {
* @param $parser Parser
* @param $frame PPFrame parser context
*/
static function renderRss( $input, $args, $parser, $frame ) {
static function renderRss( $input, array $args, Parser $parser, PPFrame $frame ) {
global $wgRSSCacheAge, $wgRSSCacheCompare, $wgRSSNamespaces,
$wgRSSUrlWhitelist,$wgRSSAllowedFeeds;