WordPress.org

Make WordPress Core


Ignore:
Timestamp:
02/10/2018 08:42:07 AM (4 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:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/wp-admin/menu.php

    r42343 r42685  
    204204function _add_themes_utility_last() {
    205205    // Must use API on the admin_menu hook, direct modification is only possible on/before the _admin_menu hook
    206     add_submenu_page( 'themes.php', _x( 'Editor', 'theme editor' ), _x( 'Editor', 'theme editor' ), 'edit_themes', 'theme-editor.php' );
     206    add_submenu_page( 'themes.php', __( 'Theme Editor' ), __( 'Theme Editor' ), 'edit_themes', 'theme-editor.php' );
    207207}
    208208
     
    222222    /* translators: add new plugin */
    223223    $submenu['plugins.php'][10] = array( _x( 'Add New', 'plugin' ), 'install_plugins', 'plugin-install.php' );
    224     $submenu['plugins.php'][15] = array( _x( 'Editor', 'plugin editor' ), 'edit_plugins', 'plugin-editor.php' );
     224    $submenu['plugins.php'][15] = array( __( 'Plugin Editor' ), 'edit_plugins', 'plugin-editor.php' );
    225225}
    226226
Note: See TracChangeset for help on using the changeset viewer.