2 rcs_id('$Id: TitleSearch.php,v 1.7 2002-01-22 03:17:47 dairiki Exp $');
4 require_once('lib/TextSearchQuery.php');
5 require_once('lib/PageList.php');
9 class WikiPlugin_TitleSearch
13 return _("TitleSearch");
16 function getDescription () {
17 return _("Title Search");
20 function getDefaultArguments() {
21 return array('s' => false,
22 'auto_redirect' => false,
26 function run($dbi, $argstr, $request) {
27 $args = $this->getArgs($argstr, $request);
28 if (empty($args['s']))
33 $query = new TextSearchQuery($s);
34 $pages = $dbi->titleSearch($query);
36 $pagelist = new PageList();
37 // $pagelist->insertColumn(_("Hits"));
38 // $pagelist->addColumn(_("Last Modified"));
40 while ($page = $pages->next()) {
41 $pagelist->addPage($page);
42 $last_name = $page->getName();
45 if ($auto_redirect && ($pagelist->getTotal() == 1))
46 $request->redirect(WikiURL($last_name));
49 $pagelist->setCaption(fmt("Title search results for '%s'", $s));
59 // c-hanging-comment-ender-p: nil
60 // indent-tabs-mode: nil