Merge "Change secure login to use a user preference"
[mediawiki.git] / includes / search / 
treee0fb5ce527e432cf652ce40a93d429120aa92ee0
drwxr-xr-x   ..
-rw-r--r-- 38646 SearchEngine.php
-rw-r--r-- 7177 SearchMssql.php
-rw-r--r-- 13217 SearchMySQL.php
-rw-r--r-- 7821 SearchOracle.php
-rw-r--r-- 7440 SearchPostgres.php
-rw-r--r-- 9596 SearchSqlite.php
-rw-r--r-- 5654 SearchUpdate.php