Merge "Move up devunt's name to Developers"
[lhc/web/wiklou.git] / includes / resourceloader / ResourceLoaderUserDefaultsModule.php
index 5f4bc16..6632045 100644 (file)
@@ -1,6 +1,6 @@
 <?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;
        }
 
        /**
@@ -55,7 +42,7 @@ class ResourceLoaderUserDefaultsModule extends ResourceLoaderModule {
        public function getScript( ResourceLoaderContext $context ) {
                return Xml::encodeJsCall(
                        'mw.user.options.set',
-                       array( User::getDefaultOptions() ),
+                       [ User::getDefaultOptions() ],
                        ResourceLoader::inDebugMode()
                );
        }