SEARCH__TYPE_IS_WIKI,
new WikiSearchEngine(SEARCH__TYPE_IS_WIKI,
'WikiHtmlSearchRenderer',
SEARCH__TYPE_IS_WIKI,
new WikiSearchEngine(SEARCH__TYPE_IS_WIKI,
'WikiHtmlSearchRenderer',
$arr['realname'] = $data['author'];
$arr['icon']=html_image("ic/wiki20g.png","20","20",array("alt"=>"Wiki"));
$arr['title'] = 'Wiki Page '.$arr['pagename'];
$arr['realname'] = $data['author'];
$arr['icon']=html_image("ic/wiki20g.png","20","20",array("alt"=>"Wiki"));
$arr['title'] = 'Wiki Page '.$arr['pagename'];