Ticket #12442: 12442.diff

menu.php

@@ -105 +105 @@
 $menu[59] = array( '', 'read', 'separator2', '', 'wp-menu-separator' );
 
 $menu[60] = array( __('Appearance'), 'switch_themes', 'themes.php', '', 'menu-top', 'menu-appearance', 'div' );
-        $submenu['themes.php'][5]  = array(__('Themes'), 'switch_themes', 'themes.php');
-        $submenu['themes.php'][10] = array(_x('Editor', 'theme editor'), 'edit_themes', 'theme-editor.php');
-        $submenu['themes.php'][20] = array(__('Menus'), 'switch_themes', 'nav-menus.php');
+        $submenu['themes.php'][5]  = array( __('Themes'), 'switch_themes', 'themes.php' );
+        $submenu['themes.php'][10] = array( __('Menus'), 'switch_themes', 'nav-menus.php' );
+        $submenu['themes.php'][20] = array( _x('Editor', 'theme editor'), 'edit_themes', 'theme-editor.php' );
 
 $update_plugins = get_site_transient( 'update_plugins' );
 $update_count = 0;