Use Language::userTime in Preferences::datetimePreferences
authorumherirrender <umherirrender_de.wp@web.de>
Thu, 29 Jan 2015 16:13:04 +0000 (17:13 +0100)
committerumherirrender <umherirrender_de.wp@web.de>
Fri, 10 Apr 2015 17:34:44 +0000 (19:34 +0200)
commit2c7fa0d7cdc361c7f02d31cd5cce396692973c40
tree1bbcc32bf4cffc4cf478a014979e4eaa1f7c6d9e
parent487c5d1b8c9d766aa23ab2954ce743788a351527
Use Language::userTime in Preferences::datetimePreferences

This avoids the indirect use of $wgUser

Change-Id: I951f5c4399dff6bb17c04e20dd9a7f763027b873
includes/Preferences.php