From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Thu, 19 Apr 2018 18:41:10 +0000 (+0000)
Subject: Merge "Fix and improve PHPDoc type hints in FileBackend and FileRepo"
X-Git-Tag: 1.34.0-rc.0~5674
X-Git-Url: https://git.cyclocoop.org/%20%27.%28%24debut%20%20%20%24par_page%29.%27?a=commitdiff_plain;h=4722cfcd1011f143d03b906c59e03bf0afbce7a6;p=lhc%2Fweb%2Fwiklou.git

Merge "Fix and improve PHPDoc type hints in FileBackend and FileRepo"
---

4722cfcd1011f143d03b906c59e03bf0afbce7a6