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 '
- - Were you looking for a specific Special page? Special pages are not searchable. You may want to see a list of special pages.
- - If you have the appropriate permissions, you can start the ' . htmlspecialchars($q) . ' page.
- - Try using fewer keywords. You can get broader results if you remove quotes from your search query.
- - Did your search trigger any warnings? Sometimes a search can be cancelled if there aren\'t any terms in a search query that are 4 characters or greater in length.
-
';
+ 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 )