User adjust git timestamp for extensions on Special:Version
authorumherirrender <umherirrender_de.wp@web.de>
Sat, 16 Aug 2014 20:53:57 +0000 (22:53 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Sat, 16 Aug 2014 20:53:57 +0000 (22:53 +0200)
commit525a56fcba9ba81d14b9c9783af3bd7a1d3937b8
tree7620a209db90d77ddc4e18d4dddc13495c55fb88
parenta8b5e408bf8df6a02d18c70ad22ec14f2333abd4
User adjust git timestamp for extensions on Special:Version

User with a timezone in its preferences does not see the git timestamp
in the local timezone.
The timestamp for mediawiki/core gets already adjust.

Change-Id: I412281670766bd9404fc829cac8eae277449c6a0
includes/specials/SpecialVersion.php