From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Wed, 17 Jul 2019 01:13:24 +0000 (+0000)
Subject: Merge "Hard-deprecate wgSkipSkin, deprecated in 1.23"
X-Git-Tag: 1.34.0-rc.0~981
X-Git-Url: https://git.cyclocoop.org/%7B%24admin_url%7Dmembres/modifier.php?a=commitdiff_plain;h=fe412e0c6adfdbb5a99a44164686019d30dbdb5a;p=lhc%2Fweb%2Fwiklou.git

Merge "Hard-deprecate wgSkipSkin, deprecated in 1.23"
---

fe412e0c6adfdbb5a99a44164686019d30dbdb5a