(bug 35565) Special:Log/patrol doesn't indicate whether patrolling was automatic
[mediawiki.git] / includes / filerepo / file / 
tree75093d85d9191cfe0f5e767a99c568647700e9ae
drwxr-xr-x   ..
-rw-r--r-- 9725 ArchivedFile.php
-rw-r--r-- 44623 File.php
-rw-r--r-- 6352 ForeignAPIFile.php
-rw-r--r-- 1525 ForeignDBFile.php
-rw-r--r-- 66065 LocalFile.php
-rw-r--r-- 7812 OldLocalFile.php
-rw-r--r-- 3606 UnregisteredLocalFile.php