<?php
/**
- * Resource loader module for default user preferences.
+ * ResourceLoader module for default user preferences.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*/
class ResourceLoaderUserDefaultsModule extends ResourceLoaderModule {
- /* Protected Members */
-
- protected $targets = array( 'desktop', 'mobile' );
-
- /* Methods */
-
- /**
- * @param ResourceLoaderContext $context
- * @return string Hash
- */
- public function getModifiedHash( ResourceLoaderContext $context ) {
- return md5( serialize( User::getDefaultOptions() ) );
- }
+ protected $targets = [ 'desktop', 'mobile' ];
/**
- * @param ResourceLoaderContext $context
- * @return int
+ * @return bool
*/
- public function getModifiedTime( ResourceLoaderContext $context ) {
- return $this->getHashMtime( $context );
+ public function enableModuleContentVersion() {
+ return true;
}
/**
public function getScript( ResourceLoaderContext $context ) {
return Xml::encodeJsCall(
'mw.user.options.set',
- array( User::getDefaultOptions() ),
+ [ User::getDefaultOptions() ],
ResourceLoader::inDebugMode()
);
}