diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 09:20:55 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 09:20:55 +0100 |
| commit | a22fbfc60f36f5f7ee10d5ae6fe347340c2ee67c (patch) | |
| tree | 31882fdc36540fecfd62e5011fc38515e504a3db /includes/resourceloader/ResourceLoaderUserOptionsModule.php | |
| parent | 6ca0c5e0a943b64b4e3d0a11a80c5679f7252e64 (diff) | |
Update to MediaWiki 1.17.1
Diffstat (limited to 'includes/resourceloader/ResourceLoaderUserOptionsModule.php')
| -rw-r--r-- | includes/resourceloader/ResourceLoaderUserOptionsModule.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/resourceloader/ResourceLoaderUserOptionsModule.php b/includes/resourceloader/ResourceLoaderUserOptionsModule.php index ae654b8f..61c76940 100644 --- a/includes/resourceloader/ResourceLoaderUserOptionsModule.php +++ b/includes/resourceloader/ResourceLoaderUserOptionsModule.php @@ -40,7 +40,7 @@ class ResourceLoaderUserOptionsModule extends ResourceLoaderModule { global $wgUser; if ( $context->getUser() === $wgUser->getName() ) { - return $this->modifiedTime[$hash] = $wgUser->getTouched(); + return $this->modifiedTime[$hash] = wfTimestamp( TS_UNIX, $wgUser->getTouched() ); } else { return 1; } |