Remove useless comments from search output
[mediawiki.git] / includes / filerepo / file / 
tree2cadbc950e0215ab5125954fc0ec4ec459bb3923
drwxr-xr-x   ..
-rw-r--r-- 11626 ArchivedFile.php
-rw-r--r-- 53140 File.php
-rw-r--r-- 8606 ForeignAPIFile.php
-rw-r--r-- 3208 ForeignDBFile.php
-rw-r--r-- 79709 LocalFile.php
-rw-r--r-- 10472 OldLocalFile.php
-rw-r--r-- 5251 UnregisteredLocalFile.php