From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Tue, 16 Oct 2018 16:10:24 +0000 (+0000)
Subject: Merge "Have maintenance/updateExtensionJsonSchema.php copy documentation"
X-Git-Tag: 1.34.0-rc.0~3762
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/%7B%7B%20url_for%28%27admin_vote_deletechoice%27%2C%20voteid=vote.id%2C%20choiceid=choice.id%29%20%7D%7D?a=commitdiff_plain;h=ba67c0871d3e15b5a89ceb127bde088b6b6fd6d8;p=lhc%2Fweb%2Fwiklou.git

Merge "Have maintenance/updateExtensionJsonSchema.php copy documentation"
---

ba67c0871d3e15b5a89ceb127bde088b6b6fd6d8