Index: wp-admin/plugin-editor.php
===================================================================
--- wp-admin/plugin-editor.php	(revision 12314)
+++ wp-admin/plugin-editor.php	(working copy)
@@ -9,7 +9,7 @@
 /** WordPress Administration Bootstrap */
 require_once('admin.php');
 
-if ( !current_user_can('edit_plugins') )
+if ( !current_user_can('edit_plugins') || ( defined('WP_CODE_EDITOR') && !WP_CODE_EDITOR ) )
 	wp_die('<p>'.__('You do not have sufficient permissions to edit plugins for this blog.').'</p>');
 
 $title = __("Edit Plugins");
Index: wp-admin/theme-editor.php
===================================================================
--- wp-admin/theme-editor.php	(revision 12314)
+++ wp-admin/theme-editor.php	(working copy)
@@ -9,7 +9,7 @@
 /** WordPress Administration Bootstrap */
 require_once('admin.php');
 
-if ( !current_user_can('edit_themes') )
+if ( !current_user_can('edit_themes') || ( defined('WP_CODE_EDITOR') && !WP_CODE_EDITOR ) )
 	wp_die('<p>'.__('You do not have sufficient permissions to edit templates for this blog.').'</p>');
 
 $title = __("Edit Themes");

