user: Remove not needed array_values()
authorThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Wed, 27 Mar 2019 12:54:02 +0000 (13:54 +0100)
committerThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Wed, 27 Mar 2019 12:54:02 +0000 (13:54 +0100)
commit204fe4c4b110350475e84590e4a219e113d033f5
tree16deb029900dd578f3f1bd011720fce000be5c6d
parent8a0f5676c92c486656b260c448c8e0284e5321ca
user: Remove not needed array_values()

Change-Id: I0a2321d5f363b86d01ab7ad94df920008e607390
includes/user/PasswordReset.php