Ticket #13117: 13117-v2.patch

menu.php

@@ -168 +168 @@
                 $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');
-                $submenu['plugins.php'][15] = array( _x('Editor', 'plugin editor'), 'edit_plugins', 'plugin-editor.php' );
+                
+                $plugins = get_plugins();
+                if( !empty($plugins) )
+                        $submenu['plugins.php'][15] = array( _x('Editor', 'plugin editor'), 'edit_plugins', 'plugin-editor.php' );
 }
 unset($menu_perms, $update_plugins, $update_count);
 

plugin-editor.php

@@ -10 +10 @@
 require_once('./admin.php');
 
 if ( !current_user_can('edit_plugins') )
-        wp_die('<p>'.__('You do not have sufficient permissions to edit plugins for this blog.').'</p>');
+        wp_die( __('You do not have sufficient permissions to edit plugins for this site.') );
 
 $title = __("Edit Plugins");
 $parent_file = 'plugins.php';
@@ -21 +21 @@
 
 $plugins = get_plugins();
 
+if( empty($plugins) )
+        wp_die( __('There are no plugins installed on this site.') );
+
 if ( isset($_REQUEST['file']) )
         $plugin = stripslashes($_REQUEST['file']);