User:Gawdl3y/Scripts/Reorder-Menus.js

function menu_move_to_top(menu_name) { menu = document.getElementById(menu_name); if (menu) { p = menu.parentNode; p.removeChild(menu); p.insertBefore( menu, p.firstChild ); } } addOnloadHook(function { /* menu_names = [ "p-tb", // toolbox "p-search", // search box "p-interaction", // interaction "p-navigation", // navigation ]; while ( menu_name = menu_names.pop ) { menu_move_to_top(menu_name); } });
 * Edit the order of this menu_names array to change the order of the toolbox.
 * The names are the ids of the boxes.