lib/search.php

   1 <?php
   2    // Title search: returns pages having a name matching the search term
   3    rcs_id('$Id: search.php,v 1.5 2001-02-12 01:43:10 dairiki Exp $');
   4
   5    if (empty($searchterm))
   6       $searchterm = '';         // FIXME: do something better here?
   7
   8    fix_magic_quotes_gpc($searchterm);
   9
  10    $html = "<P><B>"
  11            . sprintf(gettext ("Searching for \"%s\" ....."),
  12                      htmlspecialchars($searchterm))
  13            . "</B></P>\n";
  14
  15    // quote regexp chars
  16    $search = preg_quote($searchterm);
  17
  18    // search matching pages
  19    $query = InitTitleSearch($dbi, $searchterm);
  20    $found = 0;
  21    while ($page = TitleSearchNextMatch($dbi, $query)) {
  22       $found++;
  23       $html .= LinkExistingWikiWord($page) . "<br>\n";
  24    }
  25
  26    $html .= "<hr noshade>\n"
  27             . sprintf(gettext ("%d pages match your query."), $found)
  28             . "\n";
  29
  30    echo GeneratePage('MESSAGE', $html, gettext ("Title Search Results"), 0);
  31 ?>