Merge "Fix and improve PHPDoc type hints in FileBackend and FileRepo"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 Apr 2018 18:41:10 +0000 (18:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 Apr 2018 18:41:11 +0000 (18:41 +0000)
commit4722cfcd1011f143d03b906c59e03bf0afbce7a6
treebb45bfd9ca1f6095bcc78fad28a27c5354d045cd
parent6e61827af10b94cf329be9b5b3ec8d42527f84b8
parent645d96b0e1560e58285c88abfe8f8e726acb2e64
Merge "Fix and improve PHPDoc type hints in FileBackend and FileRepo"