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
This commit is contained in:
Dominik Schilling (ocean90)
2018-02-26 19:34:56 +00:00
parent 74afab6950
commit cb78bce02f
3 changed files with 6 additions and 6 deletions

View File

@@ -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