Merge "SpecialPage: Adjust type hint: Array → array"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 26 Jun 2014 19:15:04 +0000 (19:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 26 Jun 2014 19:15:04 +0000 (19:15 +0000)
commitf0321fcc23b21ae29f8d3f85c69428a6a3bd143a
treef96701b715147dadf3b5c64ad0c30d363ca67cd0
parentc9148b712110192cc1cdfac8347ca98ebd3cd523
parentc7c60c6057027ec08210cced2e66ecc0fea325a5
Merge "SpecialPage: Adjust type hint: Array → array"