SessionManager: Change behavior of getSessionById()
[mediawiki.git] / includes / db / loadbalancer / 
tree7cf1094353bbcbed6bd241c6b0fb47e889803c35
drwxr-xr-x   ..
-rw-r--r-- 14283 LBFactory.php
-rw-r--r-- 1549 LBFactoryFake.php
-rw-r--r-- 12633 LBFactoryMulti.php
-rw-r--r-- 4543 LBFactorySimple.php
-rw-r--r-- 3289 LBFactorySingle.php
-rw-r--r-- 41527 LoadBalancer.php
-rw-r--r-- 2121 LoadMonitor.php
-rw-r--r-- 4946 LoadMonitorMySQL.php