SearchResultSet: remove hasResults(), unused
[mediawiki.git] / maintenance / dictionary / 
treecf4d091afe7e5351a3efaccd105b6f7fcc508623
drwxr-xr-x   ..
-rw-r--r-- 44887 mediawiki.dic