- Patch #13907 by Neil: less ways to set the page title.

   * Less logic in theme code.
   * Encourages use of the menu system.
   * Easier to find where a title or breadcrumb comes from in other people's code because there are less places to look. Look in menu and then grep for the appropriate set function. Looking for calls to theme_page() is hard because there are too many of them.
   * Very slightly more efficient.

1 files changed, 1 insertions, 1 deletions

diff --git a/modules/search.module b/modules/search.module
index 9cdc34431..fe70f94ba 100644
--- a/modules/search.module
+++ b/modules/search.module
@@ -496,7 +496,7 @@ function search_view() {
 
     $output .= $results;
 
-    print theme('page', $output, t('Search'));
+    print theme('page', $output);
   }
   else {
     drupal_access_denied();