Merge "Fix and improve PHPDoc type hints in FileBackend and FileRepo" into REL1_31
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 23 Apr 2018 17:20:09 +0000 (17:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 23 Apr 2018 17:20:09 +0000 (17:20 +0000)
commit728bc70d8825d94b08a791dc45c0be6b8baf8876
treebe9d28502f1b69077d692f5f8caff80116972f5d
parent4d25837b4941827ff1a84bb19ac4be744c9e18d5
parent061a1d212c6d4aac2ac02d3c25b0375b067c1d2b
Merge "Fix and improve PHPDoc type hints in FileBackend and FileRepo" into REL1_31