SessionManager: Save user name to metadata even if the user doesn't exist locally
[mediawiki.git] / includes / db / 
treee6368fa9db79e6e16f752688bbb794d24b8d6be1
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-- 52230 IDatabase.php
drwxr-xr-x - loadbalancer