diff -r c72b545f1304 -r 67bd3121a12e plugins/SpecialSearch.php --- a/plugins/SpecialSearch.php Wed Dec 26 00:37:26 2007 -0500 +++ b/plugins/SpecialSearch.php Thu Dec 27 22:09:33 2007 -0500 @@ -243,14 +243,12 @@ else { // No results for the search - echo '

Your search for "' . htmlspecialchars($q) . '" didn\'t turn up any results.

'; - echo '

There are a few things you can try:

'; - echo ''; + echo '

' . $lang->get('search_body_no_results_title', array('query' => htmlspecialchars($q))) . '

'; + echo $lang->get('search_body_no_results_body', array( + 'query' => htmlspecialchars($q), + 'create_url' => makeUrl($q), + 'special_url' => makeUrlNS('Special', 'SpecialPages'), + )); } $code = $plugins->setHook('search_results'); foreach ( $code as $cmd )