diff --git a/wp-admin/menu.php b/wp-admin/menu.php
index 0ea479448..60e19c1bb 100644
--- a/wp-admin/menu.php
+++ b/wp-admin/menu.php
@@ -168,11 +168,9 @@ if ( is_super_admin() || ( is_multisite() && isset($menu_perms['plugins']) && $m
 		$submenu['plugins.php'][5]  = array( __('Installed'), 'activate_plugins', 'plugins.php' );
 		/* translators: add new plugin */
 		$submenu['plugins.php'][10] = array(_x('Add New', 'plugin'), 'install_plugins', 'plugin-install.php');
-		$plugins = get_plugins();
-		if( !empty($plugins) )
-			$submenu['plugins.php'][15] = array( _x('Editor', 'plugin editor'), 'edit_plugins', 'plugin-editor.php' );
+		$submenu['plugins.php'][15] = array( _x('Editor', 'plugin editor'), 'edit_plugins', 'plugin-editor.php' );
 }
-unset($menu_perms, $update_plugins, $update_count, $plugins);
+unset($menu_perms, $update_plugins, $update_count);
 
 if ( current_user_can('list_users') )
 	$menu[70] = array( __('Users'), 'list_users', 'users.php', '', 'menu-top menu-icon-users', 'menu-users', 'div' );
diff --git a/wp-admin/plugin-editor.php b/wp-admin/plugin-editor.php
index 54ad5d1b3..24ab643e0 100644
--- a/wp-admin/plugin-editor.php
+++ b/wp-admin/plugin-editor.php
@@ -21,7 +21,7 @@ wp_admin_css( 'theme-editor' );
 
 $plugins = get_plugins();
 
-if( empty($plugins) )
+if ( empty($plugins) )
 	wp_die( __('There are no plugins installed on this site.') );
 
 if ( isset($_REQUEST['file']) )