From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- .../ResourceLoaderUserDefaultsModule.php | 62 ++++++++++++++++++++++ 1 file changed, 62 insertions(+) create mode 100644 includes/resourceloader/ResourceLoaderUserDefaultsModule.php (limited to 'includes/resourceloader/ResourceLoaderUserDefaultsModule.php') diff --git a/includes/resourceloader/ResourceLoaderUserDefaultsModule.php b/includes/resourceloader/ResourceLoaderUserDefaultsModule.php new file mode 100644 index 00000000..5f4bc16b --- /dev/null +++ b/includes/resourceloader/ResourceLoaderUserDefaultsModule.php @@ -0,0 +1,62 @@ +getHashMtime( $context ); + } + + /** + * @param ResourceLoaderContext $context + * @return string + */ + public function getScript( ResourceLoaderContext $context ) { + return Xml::encodeJsCall( + 'mw.user.options.set', + array( User::getDefaultOptions() ), + ResourceLoader::inDebugMode() + ); + } +} -- cgit v1.2.3-54-g00ecf