diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2011-06-22 11:28:20 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2011-06-22 11:28:20 +0200 |
commit | 9db190c7e736ec8d063187d4241b59feaf7dc2d1 (patch) | |
tree | 46d1a0dee7febef5c2d57a9f7b972be16a163b3d /includes/WikiMap.php | |
parent | 78677c7bbdcc9739f6c10c75935898a20e1acd9e (diff) |
update to MediaWiki 1.17.0
Diffstat (limited to 'includes/WikiMap.php')
-rw-r--r-- | includes/WikiMap.php | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/includes/WikiMap.php b/includes/WikiMap.php index 878e165f..e12f7abe 100644 --- a/includes/WikiMap.php +++ b/includes/WikiMap.php @@ -12,7 +12,7 @@ class WikiMap { * @return WikiReference object or null if the wiki was not found */ public static function getWiki( $wikiID ) { - global $wgConf, $IP; + global $wgConf; $wgConf->loadFullData(); @@ -68,12 +68,14 @@ class WikiMap { global $wgUser; $sk = $wgUser->getSkin(); - if ( !$text ) + if ( !$text ) { $text = $page; + } $url = self::getForeignURL( $wikiID, $page ); - if ( $url === false ) + if ( $url === false ) { return false; + } return $sk->makeExternalLink( $url, $text ); } @@ -88,8 +90,9 @@ class WikiMap { public static function getForeignURL( $wikiID, $page ) { $wiki = WikiMap::getWiki( $wikiID ); - if ( $wiki ) + if ( $wiki ) { return $wiki->getUrl( $page ); + } return false; } |