SessionManager: Ignore Session object destruction during global shutdown
[mediawiki.git] / includes / filerepo / file / 
tree52c4bfd9288a652ac4e50b7886870da6b6ecf64b
drwxr-xr-x   ..
-rw-r--r-- 12036 ArchivedFile.php
-rw-r--r-- 59954 File.php
-rw-r--r-- 9452 ForeignAPIFile.php
-rw-r--r-- 4769 ForeignDBFile.php
-rw-r--r-- 84796 LocalFile.php
-rw-r--r-- 10477 OldLocalFile.php
-rw-r--r-- 5442 UnregisteredLocalFile.php