Merge "Deprecated $wgProfilePerHost"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 3 Dec 2014 21:00:55 +0000 (21:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 3 Dec 2014 21:00:56 +0000 (21:00 +0000)
commitb7c79a9dc0fd5b38de7030fdc3a1a1befda799d4
treef3ad765a7b4f89d61c213168007fecc2655f9536
parent489fbaabc11b374664f527aa8056ce5aa253802b
parent62eb67626564f881e8151eb27039b4b7f13e3076
Merge "Deprecated $wgProfilePerHost"