Merge "Register a default value for the timecorrection preference"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 1 Sep 2016 20:33:50 +0000 (20:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 1 Sep 2016 20:33:50 +0000 (20:33 +0000)
commitb9f443d6174d6ff8a9f1bdf93b4c9b886ef2b91c
treee8a7a9ef3550728b3b719459be446aa14b114d7d
parent1b67dc0885f69f5595d1cd09a894a0a6fab297e4
parentad631f135d460fb8a5c301f5959257041e6252d2
Merge "Register a default value for the timecorrection preference"
includes/Setup.php