From cb78bce02f9d77e91556afcd8b64d82b1df548fb Mon Sep 17 00:00:00 2001 From: "Dominik Schilling (ocean90)" Date: Mon, 26 Feb 2018 19:34:56 +0000 Subject: [PATCH] Administration: Remove unnecessary capitalization when referencing to plugin/theme editors. Fixes #43072. git-svn-id: https://develop.svn.wordpress.org/trunk@42757 602fd350-edb4-49c9-b593-d223f7449a82 --- src/wp-admin/includes/misc.php | 8 ++++---- src/wp-admin/plugin-editor.php | 2 +- src/wp-admin/theme-editor.php | 2 +- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/wp-admin/includes/misc.php b/src/wp-admin/includes/misc.php index ab15762ffa..c462f85a4b 100644 --- a/src/wp-admin/includes/misc.php +++ b/src/wp-admin/includes/misc.php @@ -277,7 +277,7 @@ function update_recently_edited( $file ) { } /** - * Makes a tree structure for the Theme Editor's file list. + * Makes a tree structure for the theme editor's file list. * * @since 4.9.0 * @access private @@ -299,7 +299,7 @@ function wp_make_theme_file_tree( $allowed_files ) { } /** - * Outputs the formatted file list for the Theme Editor. + * Outputs the formatted file list for the theme editor. * * @since 4.9.0 * @access private @@ -366,7 +366,7 @@ function wp_print_theme_file_tree( $tree, $level = 2, $size = 1, $index = 1 ) { } /** - * Makes a tree structure for the Plugin Editor's file list. + * Makes a tree structure for the plugin editor's file list. * * @since 4.9.0 * @access private @@ -388,7 +388,7 @@ function wp_make_plugin_file_tree( $plugin_editable_files ) { } /** - * Outputs the formatted file list for the Plugin Editor. + * Outputs the formatted file list for the plugin editor. * * @since 4.9.0 * @access private diff --git a/src/wp-admin/plugin-editor.php b/src/wp-admin/plugin-editor.php index 64b5babf4a..81fcd0978a 100644 --- a/src/wp-admin/plugin-editor.php +++ b/src/wp-admin/plugin-editor.php @@ -122,7 +122,7 @@ if ( ! is_file( $real_file ) ) { 'id' => 'overview', 'title' => __( 'Overview' ), 'content' => - '

' . __( 'You can use the Plugin Editor to make changes to any of your plugins’ individual PHP files. Be aware that if you make changes, plugins updates will overwrite your customizations.' ) . '

' . + '

' . __( 'You can use the plugin editor to make changes to any of your plugins’ individual PHP files. Be aware that if you make changes, plugins updates will overwrite your customizations.' ) . '

' . '

' . __( 'Choose a plugin to edit from the dropdown menu and click the Select button. Click once on any file name to load it in the editor, and make your changes. Don’t forget to save your changes (Update File) when you’re finished.' ) . '

' . '

' . __( 'The Documentation menu below the editor lists the PHP functions recognized in the plugin file. Clicking Look Up takes you to a web page about that particular function.' ) . '

' . '

' . __( 'When using a keyboard to navigate:' ) . '

' . diff --git a/src/wp-admin/theme-editor.php b/src/wp-admin/theme-editor.php index f5b789e828..5fdb881a82 100644 --- a/src/wp-admin/theme-editor.php +++ b/src/wp-admin/theme-editor.php @@ -26,7 +26,7 @@ get_current_screen()->add_help_tab( 'id' => 'overview', 'title' => __( 'Overview' ), 'content' => - '

' . __( 'You can use the Theme Editor to edit the individual CSS and PHP files which make up your theme.' ) . '

' . + '

' . __( 'You can use the theme editor to edit the individual CSS and PHP files which make up your theme.' ) . '

' . '

' . __( 'Begin by choosing a theme to edit from the dropdown menu and clicking the Select button. A list then appears of the theme’s template files. Clicking once on any file name causes the file to appear in the large Editor box.' ) . '

' . '

' . __( 'For PHP files, you can use the Documentation dropdown to select from functions recognized in that file. Look Up takes you to a web page with reference material about that particular function.' ) . '

' . '

' . __( 'When using a keyboard to navigate:' ) . '

' .