Merge "user: Remove not needed array_values()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 27 Mar 2019 15:13:14 +0000 (15:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 27 Mar 2019 15:13:14 +0000 (15:13 +0000)
commitf26afe32b84a0842c8a8c85ab72f35f40e54f7f5
tree3448a282aa852cf442c03b4d5e0645e07a72cef3
parentf059cfda06cec090089436ad86acdce6cb3cc0b7
parent204fe4c4b110350475e84590e4a219e113d033f5
Merge "user: Remove not needed array_values()"