Merge "Add /** @var SplFileInfo $fileInfo */ docs where needed"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 15 Mar 2019 12:39:12 +0000 (12:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 15 Mar 2019 12:39:12 +0000 (12:39 +0000)
commitc7d3fcebc435e35389c0ae49bb37d7199e329ac1
treea1f98d82d395dba6b9e2d5259b42eef2b0e018ad
parentb5a14f972231b2af071c36da263cbc0a971b1721
parentbb786be640638ca9477f7f8cf8db5b067d127a2e
Merge "Add /** @var SplFileInfo $fileInfo */ docs where needed"