"key"=>"R"
)
);
- $toolbar ="<script type='text/javascript'>\n";
-
- $xml = ($wgMimeType == "text/xml");
- if( $xml ) {
- $toolbar .= "<![CDATA[";
- }
-
+ $toolbar ="<script type='text/javascript'>\n/*<![CDATA[*/\n";
+
$toolbar.="document.writeln(\"<div id='toolbar' tabindex='4000000'>\");\n";
foreach($toolarray as $tool) {
$toolbar.="addInfobox('" . addslashes( wfMsg( "infobox" ) ) . "','" . addslashes(wfMsg("infobox_alert")) . "');\n";
$toolbar.="document.writeln(\"</div>\");\n";
-
- if( $xml ) {
- $toolbar .= "]]>";
- }
- $toolbar.="</script>";
+
+ $toolbar.="/*]]>*/</script>";
return $toolbar;
}
}