Implement extension registration from an extension.json file
[mediawiki.git] / includes / resourceloader / 
treee7eeaff1d168504ea91491a9c8616b0557731e2c
drwxr-xr-x   ..
-rw-r--r-- 4168 DerivativeResourceLoaderContext.php
-rw-r--r-- 51718 ResourceLoader.php
-rw-r--r-- 8100 ResourceLoaderContext.php
-rw-r--r-- 3031 ResourceLoaderEditToolbarModule.php
-rw-r--r-- 29265 ResourceLoaderFileModule.php
-rw-r--r-- 1195 ResourceLoaderFilePageModule.php
-rw-r--r-- 2067 ResourceLoaderFilePath.php
-rw-r--r-- 11623 ResourceLoaderImage.php
-rw-r--r-- 9143 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