SessionManager: Ignore Session object destruction during global shutdown
[mediawiki.git] / includes / filerepo / 
tree50683fde4f13ae52992f62cf2300f47f6656ba62
drwxr-xr-x   ..
-rw-r--r-- 2512 FSRepo.php
-rw-r--r-- 10565 FileBackendDBRepoWrapper.php
-rw-r--r-- 57533 FileRepo.php
-rw-r--r-- 1024 FileRepoStatus.php
-rw-r--r-- 16398 ForeignAPIRepo.php
-rw-r--r-- 3550 ForeignDBRepo.php
-rw-r--r-- 2739 ForeignDBViaLBRepo.php
-rw-r--r-- 16334 LocalRepo.php
-rw-r--r-- 1175 NullRepo.php
-rw-r--r-- 1977 README
-rw-r--r-- 12294 RepoGroup.php
drwxr-xr-x - file