Merge "Update html5 specs link in comment"
[mediawiki.git] / includes / search / 
tree717a11e815b577755d1ca83676097864a68c5b4b
drwxr-xr-x   ..
-rw-r--r-- 1304 SearchDatabase.php
-rw-r--r-- 15380 SearchEngine.php
-rw-r--r-- 15697 SearchHighlighter.php
-rw-r--r-- 6265 SearchMssql.php
-rw-r--r-- 12695 SearchMySQL.php
-rw-r--r-- 7390 SearchOracle.php
-rw-r--r-- 7074 SearchPostgres.php
-rw-r--r-- 6184 SearchResult.php
-rw-r--r-- 4438 SearchResultSet.php
-rw-r--r-- 8815 SearchSqlite.php