author | Umherirrender <umherirrender_de.wp@web.de> | |
Wed, 27 Mar 2019 20:40:33 +0000 (21:40 +0100) | ||
committer | Umherirrender <umherirrender_de.wp@web.de> | |
Wed, 27 Mar 2019 20:40:33 +0000 (21:40 +0100) | ||
commit | 8d5a8fb1819925d955b6f23f610ecf9f90d5bb54 | |
tree | 869a8565403397ed1833831e602cacc18f4fd9cc | tree | snapshot |
parent | d54d5229858188824f52c06d5bd4ebf46d181341 | commit | diff |
.phpcs.xml | diff | blob | history | |
autoload.php | diff | blob | history | |
includes/PrefixSearch.php | [deleted file] | blob | history |
includes/search/PrefixSearch.php | [new file with mode: 0644] | blob |
includes/search/StringPrefixSearch.php | [new file with mode: 0644] | blob |
includes/search/TitlePrefixSearch.php | [new file with mode: 0644] | blob |