From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Tue, 3 Sep 2019 17:15:04 +0000 (+0000)
Subject: Merge "Revert "Modify -—with-extensions to throw extension dependency errors""
X-Git-Tag: 1.34.0-rc.0~418
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/operations/recherche.php?a=commitdiff_plain;h=95d97f6f4231e213e860c7e71efe9bebdbe23a5f;p=lhc%2Fweb%2Fwiklou.git

Merge "Revert "Modify -—with-extensions to throw extension dependency errors""
---

95d97f6f4231e213e860c7e71efe9bebdbe23a5f