MediaWiki  master
StringPrefixSearch.php
Go to the documentation of this file.
1 <?php
29 
30  protected function titles( array $titles ) {
31  return array_map( function ( Title $t ) {
32  return $t->getPrefixedText();
33  }, $titles );
34  }
35 
36  protected function strings( array $strings ) {
37  return $strings;
38  }
39 }
Performs prefix search, returning strings.
getPrefixedText()
Get the prefixed title with spaces.
Definition: Title.php:1853
strings(array $strings)
Handles searching prefixes of titles and finding any page names that match.