SessionManager: Change behavior of getSessionById()
[mediawiki.git] / includes / cache / 
tree117b4b5bac8963b0a9a3c343eac42bfc054d38a4
drwxr-xr-x   ..
-rw-r--r-- 15564 BacklinkCache.php
-rw-r--r-- 6502 CacheDependency.php
-rw-r--r-- 10471 CacheHelper.php
-rw-r--r-- 6879 FileCacheBase.php
-rw-r--r-- 5245 GenderCache.php
-rw-r--r-- 6446 HTMLFileCache.php
-rw-r--r-- 3619 LCStoreStaticArray.php
-rw-r--r-- 6025 LinkBatch.php
-rw-r--r-- 6862 LinkCache.php
-rw-r--r-- 41887 LocalisationCache.php
-rw-r--r-- 7641 MessageBlobStore.php
-rw-r--r-- 35538 MessageCache.php
-rw-r--r-- 1415 ObjectFileCache.php
-rw-r--r-- 3509 ResourceFileCache.php
-rw-r--r-- 4373 UserCache.php