Merge "$wgUseGzip had no effect"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 24 Jun 2015 21:00:16 +0000 (21:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 24 Jun 2015 21:00:16 +0000 (21:00 +0000)
commite6786544870f6c8e30716bb602e39925da1f9b7b
tree6239e98a2ad6d577f7948ab5b1e81a48ecaaefcf
parent8f27a3208e465e52a54533515853f1210d44fd9d
parentad0d70fd52f93eadce4cf085fc01cc13765a89df
Merge "$wgUseGzip had no effect"