From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Mon, 29 Oct 2018 20:59:59 +0000 (+0000)
Subject: Merge "Hard deprecate $wgTidyConfig['driver'] = 'disabled'"
X-Git-Tag: 1.34.0-rc.0~3620
X-Git-Url: http://git.cyclocoop.org/%28%28?a=commitdiff_plain;h=824936c08f91ed2a75eda63184bb8aa8e600c684;p=lhc%2Fweb%2Fwiklou.git

Merge "Hard deprecate $wgTidyConfig['driver'] = 'disabled'"
---

824936c08f91ed2a75eda63184bb8aa8e600c684