Changeset 42685 for trunk/src/wp-admin/menu.php

Timestamp:

02/10/2018 08:42:07 AM (7 years ago)

Author:

SergeyBiryukov

Message:

Administration: Rename Appearance → Editor menu item to Theme Editor and Plugins → Editor to Plugin Editor for clarity.

Props xkon, karmatosed.
Fixes #43072.

File:

• trunk/src/wp-admin/menu.php (modified) (2 diffs)

trunk/src/wp-admin/menu.php

@@ -204 +204 @@
 function _add_themes_utility_last() {
     // Must use API on the admin_menu hook, direct modification is only possible on/before the _admin_menu hook
-    add_submenu_page( 'themes.php', _x( 'Editor', 'theme editor' ), _x( 'Editor', 'theme editor' ), 'edit_themes', 'theme-editor.php' );
+    add_submenu_page( 'themes.php', __( 'Theme Editor' ), __( 'Theme Editor' ), 'edit_themes', 'theme-editor.php' );
 }
 
@@ -222 +222 @@
     /* 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' );
+    $submenu['plugins.php'][15] = array( __( 'Plugin Editor' ), 'edit_plugins', 'plugin-editor.php' );
 }