*Tweak rev_deleted message
[mediawiki.git] / includes / filerepo / 
treefcc770a037d1f6ce8c233d091ab7fd6c73e79b2b
drwxr-xr-x   ..
-rw-r--r-- 7161 ArchivedFile.php
-rw-r--r-- 15761 FSRepo.php
-rw-r--r-- 31105 File.php
-rw-r--r-- 12532 FileRepo.php
-rw-r--r-- 4552 FileRepoStatus.php
-rw-r--r-- 831 ForeignDBFile.php
-rw-r--r-- 1568 ForeignDBRepo.php
-rw-r--r-- 9161 ICRepo.php
-rw-r--r-- 45456 LocalFile.php
-rw-r--r-- 1990 LocalRepo.php
-rw-r--r-- 607 NullRepo.php
-rw-r--r-- 6274 OldLocalFile.php
-rw-r--r-- 1986 README
-rw-r--r-- 3845 RepoGroup.php
-rw-r--r-- 2786 UnregisteredLocalFile.php