Merge "Remove Skin::showIPinHeader(), deprecated since 1.27"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 2 Feb 2018 21:05:40 +0000 (21:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 2 Feb 2018 21:05:40 +0000 (21:05 +0000)
commite84281faf1c033a069b6c71d7a560c3534e55c47
tree4653200b4d38ba4c7360a0024a478dc61f578954
parentafc2d20e5ffe80e4fc02963ed1d77e84c37afd7a
parentd9705e6dbcb7a4c54f71f83f688a1ecfa01ccb6b
Merge "Remove Skin::showIPinHeader(), deprecated since 1.27"