Merge "Check for intl extension in updateCredits.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 1 Feb 2019 21:35:43 +0000 (21:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 1 Feb 2019 21:35:43 +0000 (21:35 +0000)
commitc2bad017f38126dfd963b7eca406e8b897595e38
treeea086b49754a109c71cdaba858e5c34ebd71a21f
parent080edfd840deed635d6f43420229b8465217c9b5
parentbd7ff019c9bce29d195b59c2c5b4cb0d34dc6d93
Merge "Check for intl extension in updateCredits.php"