Merge "move page_restrictions.pr_id to top in tables.sql"
[mediawiki.git] / includes / filerepo / file / 
tree38bb3be0780551734aae5fce2c375746dd941eec
drwxr-xr-x   ..
-rw-r--r-- 10594 ArchivedFile.php
-rw-r--r-- 51154 File.php
-rw-r--r-- 8526 ForeignAPIFile.php
-rw-r--r-- 3161 ForeignDBFile.php
-rw-r--r-- 79007 LocalFile.php
-rw-r--r-- 10457 OldLocalFile.php
-rw-r--r-- 4985 UnregisteredLocalFile.php