Make Profiler::$instance private and drop double underscores
[mediawiki.git] / includes / resourceloader / 
tree4c258b5176f5f33a79f8d4786bf01eab81d653ad
drwxr-xr-x   ..
-rw-r--r-- 4168 DerivativeResourceLoaderContext.php
-rw-r--r-- 51715 ResourceLoader.php
-rw-r--r-- 8100 ResourceLoaderContext.php
-rw-r--r-- 3031 ResourceLoaderEditToolbarModule.php
-rw-r--r-- 29176 ResourceLoaderFileModule.php
-rw-r--r-- 1195 ResourceLoaderFilePageModule.php
-rw-r--r-- 2067 ResourceLoaderFilePath.php
-rw-r--r-- 11590 ResourceLoaderImage.php
-rw-r--r-- 9300 ResourceLoaderImageModule.php
-rw-r--r-- 2600 ResourceLoaderLanguageDataModule.php
-rw-r--r-- 2301 ResourceLoaderLanguageNamesModule.php
-rw-r--r-- 19482 ResourceLoaderModule.php
-rw-r--r-- 1559 ResourceLoaderNoscriptModule.php
-rw-r--r-- 1911 ResourceLoaderSiteModule.php
-rw-r--r-- 2063 ResourceLoaderSkinModule.php
-rw-r--r-- 14053 ResourceLoaderStartUpModule.php
-rw-r--r-- 2767 ResourceLoaderUserCSSPrefsModule.php
-rw-r--r-- 1737 ResourceLoaderUserDefaultsModule.php
-rw-r--r-- 1952 ResourceLoaderUserGroupsModule.php
-rw-r--r-- 2766 ResourceLoaderUserModule.php
-rw-r--r-- 2181 ResourceLoaderUserOptionsModule.php
-rw-r--r-- 1977 ResourceLoaderUserTokensModule.php
-rw-r--r-- 8002 ResourceLoaderWikiModule.php