diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js index b96d7c56b..a2904823b 100644 --- a/src/runtime/javascript/minibar/minibar.js +++ b/src/runtime/javascript/minibar/minibar.js @@ -102,7 +102,7 @@ function start_minibar(server,opts,target) { set_initial_language(options,menu,grammar) to_menu.onchange=get_translations - to_menu.innerHMTL=""; + to_menu.innerHTML=""; to_menu.appendChild(option("All","-1")); for(var i=0; i