2 rcs_id('$Id: TitleSearch.php,v 1.5 2002-01-21 06:55:47 dairiki Exp $');
4 require_once('lib/TextSearchQuery.php');
8 class WikiPlugin_TitleSearch
12 return _("TitleSearch");
15 function getDescription () {
16 return _("Title Search");
19 function getDefaultArguments() {
20 return array('s' => false,
21 'auto_redirect' => false,
25 function run($dbi, $argstr, $request) {
28 $args = $this->getArgs($argstr, $request);
29 if (empty($args['s']))
34 $query = new TextSearchQuery($s);
35 $pages = $dbi->titleSearch($query);
37 while ($page = $pages->next()) {
38 $name = $page->getName();
39 $list->pushContent(HTML::li($Theme->linkExistingWikiWord($name)));
43 if ($auto_redirect && count($list->getContent()) == 1)
44 $request->redirect(WikiURL($last_name));
45 if (!$list->getContent())
46 $list = HTML::blockquote(_("<no matches>"));
51 return array(HTML::p(fmt("Title search results for '%s'", $s)),
60 // c-hanging-comment-ender-p: nil
61 // indent-tabs-mode: nil