Merge "Fix/suppress misc phan errors (#4)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 5 Apr 2019 22:42:35 +0000 (22:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 5 Apr 2019 22:42:35 +0000 (22:42 +0000)
commita44ae41d5806992c7b5524b8098022856f03f016
tree2b1235dc74b501efc8121ad4cb5146e493fcadd5
parent774aee12d6d809aeedf64645b72eabbd872a58c7
parente844daa4f3a09fc234a2c73421e17fa485ca37d4
Merge "Fix/suppress misc phan errors (#4)"
includes/Revision/RevisionStore.php