Clean up js code.
Remove unneeded function at_ui_menu_alter__devel().