Merge "Set l18n cache to array in DevelopmentSettings.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 Sep 2019 11:59:57 +0000 (11:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Sep 2019 11:59:57 +0000 (11:59 +0000)
commit6cf4d8f64e74dd68823fc3de815e25dece7f1da5
tree2a875ea3ed9d6f9ee8eab839f8006bb6cfa9425c
parentbdc6b4e378c6872a20f6fb5842f1a49961af91b4
parent3936ddb4be46d1287b9a892e5a06282b2d31970d
Merge "Set l18n cache to array in DevelopmentSettings.php"