"
. sprintf(gettext ("Searching for \"%s\" ....."),
htmlspecialchars($search))
. "\n";
// quote regexp chars (backends should do this...)
//$search = preg_quote($search);
// search matching pages
$found = 0;
if (strlen($search)) {
$query = InitTitleSearch($dbi, $search);
while ($page = TitleSearchNextMatch($dbi, $query)) {
$found++;
$html .= LinkExistingWikiWord($page) . "
\n";
}
}
else {
$html .= gettext("(You entered an empty search string)") . "
\n";
}
$html .= "
\n"
. sprintf(gettext ("%d pages match your query."), $found)
. "\n";
GeneratePage('MESSAGE', $html, gettext ("Title Search Results"), 0);
?>