dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
487c5d1
)
Use Language::userTime in Preferences::datetimePreferences
author
umherirrender
<umherirrender_de.wp@web.de>
Thu, 29 Jan 2015 16:13:04 +0000
(17:13 +0100)
committer
umherirrender
<umherirrender_de.wp@web.de>
Fri, 10 Apr 2015 17:34:44 +0000
(19:34 +0200)
This avoids the indirect use of $wgUser
Change-Id: I951f5c4399dff6bb17c04e20dd9a7f763027b873
includes/Preferences.php
patch
|
blob
|
history
diff --git
a/includes/Preferences.php
b/includes/Preferences.php
index
40c3a2b
..
74a917d
100644
(file)
--- a/
includes/Preferences.php
+++ b/
includes/Preferences.php
@@
-657,8
+657,9
@@
class Preferences {
$now = wfTimestampNow();
$lang = $context->getLanguage();
$nowlocal = Xml::element( 'span', array( 'id' => 'wpLocalTime' ),
- $lang->time( $now, true ) );
- $nowserver = $lang->time( $now, false ) .
+ $lang->userTime( $now, $user ) );
+ $nowserver = $lang->userTime( $now, $user,
+ array( 'format' => false, 'timecorrection' => false ) ) .
Html::hidden( 'wpServerTime', (int)substr( $now, 8, 2 ) * 60 + (int)substr( $now, 10, 2 ) );
$defaultPreferences['nowserver'] = array(