SessionManager: Change behavior of getSessionById()
[mediawiki.git] / includes / db / 
treef93a01b150a0b56982ec47e4168f1c2ab65991dc
drwxr-xr-x   ..
-rw-r--r-- 6291 ChronologyProtector.php
-rw-r--r-- 4970 CloneDatabase.php
-rw-r--r-- 14368 DBConnRef.php
-rw-r--r-- 90735 Database.php
-rw-r--r-- 12450 DatabaseError.php
-rw-r--r-- 41001 DatabaseMssql.php
-rw-r--r-- 4931 DatabaseMysql.php
-rw-r--r-- 36890 DatabaseMysqlBase.php
-rw-r--r-- 7529 DatabaseMysqli.php
-rw-r--r-- 39849 DatabaseOracle.php
-rw-r--r-- 42191 DatabasePostgres.php
-rw-r--r-- 26802 DatabaseSqlite.php
-rw-r--r-- 6794 DatabaseUtility.php
-rw-r--r-- 52106 IDatabase.php
drwxr-xr-x - loadbalancer