Index: wp-admin/theme-editor.php =================================================================== --- wp-admin/theme-editor.php (revision 7291) +++ wp-admin/theme-editor.php (working copy) @@ -92,7 +92,7 @@