Create a new ParserOptions()

diff --git a/includes/Skin.php b/includes/Skin.php
index 2a225f6..eb8ebf9 100644 (file)
--- a/includes/Skin.php
+++ b/includes/Skin.php
@@ -2192,12 +2192,10 @@ class Skin extends Linker {
 
                                        $line = substr( $line, 2, strlen( $line ) - 4 );
 
-                                       if ( is_null( $wgParser->mOptions ) ) {
-                                               $wgParser->mOptions = new ParserOptions();
-                                       }
-
-                                       $wgParser->mOptions->setEditSection( false );
-                                       $wikiBar[$heading] = $wgParser->parse( wfMsgForContentNoTrans( $line ) , $wgTitle, $wgParser->mOptions )->getText();
+                                       $options = new ParserOptions();
+                                       $options->setEditSection( false );
+                                       $options->setInterfaceMessage( true );
+                                       $wikiBar[$heading] = $wgParser->parse( wfMsgForContentNoTrans( $line ) , $wgTitle, $options )->getText();
                                } else {
                                        continue;
                                }