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

Update per Reedy's mini-review on IRC:

Browse source 
* Make parens more spacey
* Use empty array instead of null for default.
This commit is contained in:
Mark A. Hershberger 2011-05-06 16:40:14 +00:00
parent 518d4b7a17
commit e03eee9134
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
RSSHooks.php
View file

@ -22,9 +22,9 @@ class RSSHooks {
static function renderRss( $input, $args, $parser, $frame ) {
global $wgRSSCacheAge, $wgRSSCacheCompare, $wgRSSNamespaces;
if ( $wgRSSNamespaces !== null && is_array($wgRSSNamespaces) ) {
if ( is_array( $wgRSSNamespaces ) && count( $wgRSSNamespaces ) ) {
$ns = $parser->getTitle()->getNamespace();
$checkNS = array_flip($wgRSSNamespaces);
$checkNS = array_flip( $wgRSSNamespaces );
if( !isset( $checkNS[$ns] ) ) {
return wfMsg( 'rss-ns-permission' );