Merge "Make some array type hints more specific"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 22 May 2019 14:18:31 +0000 (14:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 22 May 2019 14:18:31 +0000 (14:18 +0000)
commit6071231e9009380a28805805d1e036a6767e1f2a
tree27e20ebc043ba0fa6fde1c6cb6886ae10a16aea5
parent85535ae5fc744edb6e976540f711ad02a264282d
parentf0d5dceb2cc6a83fb105aa7586fbc1e23b02d70f
Merge "Make some array type hints more specific"
includes/changes/ChangesList.php