Searched refs:SEARCHNS_HEADING (Results 1 – 1 of 1) sorted by relevance
13 public const SEARCHNS_HEADING = 'SEARCHNS_HEADING'; define in helper_plugin_searchns115 $ret .= $title === self::SEARCHNS_HEADING ? $id : html_wikilink(':' . $id, $name);155 $res[$ns] = array_merge([$label => self::SEARCHNS_HEADING], $res[$ns]);172 $all[$this->getLang('other label')] = self::SEARCHNS_HEADING;