Avoid relying on isset(). This can cause problems with PHP's (thankfully now uncommo...

diff --git a/includes/Skin.php b/includes/Skin.php
index 2d2a4ae..ca5ba11 100644 (file)
--- a/includes/Skin.php
+++ b/includes/Skin.php
@@ -1620,6 +1620,7 @@ END;
 
                $bar = array();
                $lines = explode( "\n", wfMsgForContent( 'sidebar' ) );
+               $heading = '';
                foreach ($lines as $line) {
                        if (strpos($line, '*') !== 0)
                                continue;
@@ -1649,7 +1650,6 @@ END;
                                                }
                                        }
 
-                                       if( !isset($heading) ) $heading='';
                                        $bar[$heading][] = array(
                                                'text' => $text,
                                                'href' => $href,