diff --git a/wp-admin/plugin-editor.php b/wp-admin/plugin-editor.php index 4003110d7..8dda5e280 100644 --- a/wp-admin/plugin-editor.php +++ b/wp-admin/plugin-editor.php @@ -6,6 +6,11 @@ $parent_file = 'plugins.php'; wp_reset_vars(array('action', 'redirect', 'profile', 'error', 'warning', 'a', 'file')); +add_action( 'admin_head', 'theme_editor_css' ); +function theme_editor_css(){ + wp_admin_css( 'css/theme-editor' ); +} + $plugins = get_plugins(); $plugin_files = array_keys($plugins); @@ -93,34 +98,41 @@ default:

fatal error.') ?>

- +

+
+
+
+
+' . sprintf(__('Editing %s (active)'), $file) . ''; + echo sprintf(__('Editing %s (active)'), $file); } else { - echo '

' . sprintf(__('Browsing %s (active)'), $file) . '

'; + echo sprintf(__('Browsing %s (active)'), $file); } } else { if (is_writeable($real_file)) { - echo '

' . sprintf(__('Editing %s (inactive)'), $file) . '

'; + echo sprintf(__('Editing %s (inactive)'), $file); } else { - echo '

' . sprintf(__('Browsing %s (inactive)'), $file) . '

'; + echo sprintf(__('Browsing %s (inactive)'), $file); } } - ?> -
-

- - -
    - -
  • ">
  • - -
- + ?>
+
+
+
+
+

+ +

+ +
@@ -154,5 +166,4 @@ if ($plugin_files) : +include("admin-footer.php") ?> \ No newline at end of file