Ticket #13117: 13117.patch

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 blog.') );
 
 $title = __("Edit Plugins");
 $parent_file = 'plugins.php';
@@ -25 +25 @@
         $plugin = stripslashes($_REQUEST['file']);
 
 if ( empty($plugin) ) {
+        if( empty($plugins) )
+                wp_die( __('There are no plugins installed on this blog.') );
+
         $plugin = array_keys($plugins);
         $plugin = $plugin[0];
 }