Merge "Remove SpecialSearchNoResults and call SpecialSearchResults always"
[mediawiki.git] / resources / 
treedf3d4ba9447748e283bb69b296e0f7ce5a2f9fbe
drwxr-xr-x   ..
-rw-r--r-- 53035 Resources.php
drwxr-xr-x - lib
drwxr-xr-x - src