SearchResultSet: remove hasResults(), unused
[mediawiki.git] / resources / 
treeebcf324a1b98aa855f4c8008c2aba36d095c0b2f
drwxr-xr-x   ..
-rw-r--r-- 52675 Resources.php
drwxr-xr-x - lib
drwxr-xr-x - src