Ticket #13467: remove-plugin_search_help.diff

wp-admin/includes/template.php

@@ -3689 +3689 @@
 ';
 }
 
-function plugins_search_help() {
-        return '
-        <p><strong>' . __('Search help') . '</strong></p>' .
-        '<p>' . __('You may search based on 3 criteria:') . '<br />' .
-        __('<strong>Term:</strong> Searches theme names and descriptions for the specified term.') . '<br />' .
-        __('<strong>Tag:</strong> Searches for themes tagged as such.') . '<br />' .
-        __('<strong>Author:</strong> Searches for themes created by the Author, or which the Author contributed to.') . '</p>
-';
-}
-
 function screen_layout($screen) {
         global $screen_layout_columns;