SpecialSearch: Simplify result info
[mediawiki.git] / resources / 
tree8ba73e15aa8a87c02ff2f2f3d4b11d37a21c6d9d
drwxr-xr-x   ..
-rw-r--r-- 52675 Resources.php
drwxr-xr-x - lib
drwxr-xr-x - src