Implement extension registration from an extension.json file
[mediawiki.git] / includes / filerepo / file / 
treeb09e2c40db10eefb73b722a08a15080478f2620a
drwxr-xr-x   ..
-rw-r--r-- 11892 ArchivedFile.php
-rw-r--r-- 58533 File.php
-rw-r--r-- 8606 ForeignAPIFile.php
-rw-r--r-- 3249 ForeignDBFile.php
-rw-r--r-- 82786 LocalFile.php
-rw-r--r-- 10608 OldLocalFile.php
-rw-r--r-- 5251 UnregisteredLocalFile.php