Searching for \"" . htmlspecialchars($search) .
"\" ....\n";
// quote regexp chars
$search = preg_quote($search);
// search matching pages
$query = InitTitleSearch($dbi, $search);
while ($page = TitleSearchNextMatch($dbi, $query)) {
$found++;
$result .= LinkExistingWikiWord($page) . "
\n";
}
$result .= "
\n$found pages match your query.\n";
GeneratePage('MESSAGE', $result, "Title Search Results", 0);
?>