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/network/menu.php

    r42343 r42685  
    5252$submenu['themes.php'][5]  = array( __( 'Installed Themes' ), 'manage_network_themes', 'themes.php' );
    5353$submenu['themes.php'][10] = array( _x( 'Add New', 'theme' ), 'install_themes', 'theme-install.php' );
    54 $submenu['themes.php'][15] = array( _x( 'Editor', 'theme editor' ), 'edit_themes', 'theme-editor.php' );
     54$submenu['themes.php'][15] = array( __( 'Theme Editor' ), 'edit_themes', 'theme-editor.php' );
    5555
    5656if ( current_user_can( 'update_plugins' ) && $update_data['counts']['plugins'] ) {
     
    6161$submenu['plugins.php'][5]  = array( __( 'Installed Plugins' ), 'manage_network_plugins', 'plugins.php' );
    6262$submenu['plugins.php'][10] = array( _x( 'Add New', 'plugin' ), 'install_plugins', 'plugin-install.php' );
    63 $submenu['plugins.php'][15] = array( _x( 'Editor', 'plugin editor' ), 'edit_plugins', 'plugin-editor.php' );
     63$submenu['plugins.php'][15] = array( __( 'Plugin Editor' ), 'edit_plugins', 'plugin-editor.php' );
    6464
    6565$menu[25] = array( __( 'Settings' ), 'manage_network_options', 'settings.php', '', 'menu-top menu-icon-settings', 'menu-settings', 'dashicons-admin-settings' );
Note: See TracChangeset for help on using the changeset viewer.