SessionManager: Save user name to metadata even if the user doesn't exist locally
[mediawiki.git] / includes / resourceloader / 
tree481ba948a00add5b2263431a1caa3d6b636cf6d6
drwxr-xr-x   ..
-rw-r--r-- 4497 DerivativeResourceLoaderContext.php
-rw-r--r-- 51797 ResourceLoader.php
-rw-r--r-- 9197 ResourceLoaderContext.php
-rw-r--r-- 1442 ResourceLoaderEditToolbarModule.php
-rw-r--r-- 30177 ResourceLoaderFileModule.php
-rw-r--r-- 2067 ResourceLoaderFilePath.php
-rw-r--r-- 1301 ResourceLoaderForeignApiModule.php
-rw-r--r-- 12669 ResourceLoaderImage.php
-rw-r--r-- 14257 ResourceLoaderImageModule.php
-rw-r--r-- 1999 ResourceLoaderJqueryMsgModule.php
-rw-r--r-- 2360 ResourceLoaderLanguageDataModule.php
-rw-r--r-- 2088 ResourceLoaderLanguageNamesModule.php
-rw-r--r-- 28911 ResourceLoaderModule.php
-rw-r--r-- 2684 ResourceLoaderOOUIImageModule.php
-rw-r--r-- 1934 ResourceLoaderRawFileModule.php
-rw-r--r-- 1746 ResourceLoaderSiteModule.php
-rw-r--r-- 2650 ResourceLoaderSkinModule.php
-rw-r--r-- 2901 ResourceLoaderSpecialCharacterDataModule.php
-rw-r--r-- 13914 ResourceLoaderStartUpModule.php
-rw-r--r-- 2448 ResourceLoaderUserCSSPrefsModule.php
-rw-r--r-- 1400 ResourceLoaderUserDefaultsModule.php
-rw-r--r-- 1906 ResourceLoaderUserGroupsModule.php
-rw-r--r-- 2606 ResourceLoaderUserModule.php
-rw-r--r-- 1920 ResourceLoaderUserOptionsModule.php
-rw-r--r-- 2206 ResourceLoaderUserTokensModule.php
-rw-r--r-- 9428 ResourceLoaderWikiModule.php