Implement extension registration from an extension.json file
[mediawiki.git] / includes / search / 
tree22ea04df4d23c6cdd743c29f9b3794f2d5704006
drwxr-xr-x   ..
-rw-r--r-- 1537 SearchDatabase.php
-rw-r--r-- 14097 SearchEngine.php
-rw-r--r-- 16449 SearchHighlighter.php
-rw-r--r-- 6313 SearchMssql.php
-rw-r--r-- 12660 SearchMySQL.php
-rw-r--r-- 7440 SearchOracle.php
-rw-r--r-- 6325 SearchPostgres.php
-rw-r--r-- 5603 SearchResult.php
-rw-r--r-- 4411 SearchResultSet.php
-rw-r--r-- 8801 SearchSqlite.php