From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Fri, 22 Mar 2019 06:13:28 +0000 (+0000)
Subject: Merge "Use mediawiki/mediawiki-phan-config 0.3.0"
X-Git-Tag: 1.34.0-rc.0~2412
X-Git-Url: http://git.cyclocoop.org/%22.htmlspecialchars%28%24url_syndic%29.%22?a=commitdiff_plain;h=2d78318ff0f5ea03871293545f86a97df77223c3;p=lhc%2Fweb%2Fwiklou.git

Merge "Use mediawiki/mediawiki-phan-config 0.3.0"
---

2d78318ff0f5ea03871293545f86a97df77223c3