date_default_timezone_set unneeded in Parser
authorumherirrender <umherirrender_de.wp@web.de>
Sat, 22 Jun 2013 09:33:19 +0000 (11:33 +0200)
committerTim Starling <tstarling@wikimedia.org>
Mon, 8 Jul 2013 04:13:51 +0000 (04:13 +0000)
commitb002d2f7928b729fcbe21eb9a4c266a762c71a17
tree9b35856dc84fcb66ba24f68823ec88f95a4db1c1
parent420402c53441e95b0cea54accb289a2f4b070644
date_default_timezone_set unneeded in Parser

Since r88178 the global $wgLocaltimezone is always set and
date_default_timezone_set is always called, this makes explicit calls
before use of date() unneeded.

Change-Id: I7559c3699920837849696eabe6fee16179159697
includes/parser/Parser.php