SearchResultSet: remove hasResults(), unused
[mediawiki.git] / resources / lib / oojs-ui / images / icons / check.png
blob82c3cb4b67045b0acafb20c63ffbee236e80790c
resources/lib/oojs-ui/images/icons/check.png