Output Done! at end of resetUserEmail.php
authorReedy <reedy@wikimedia.org>
Sat, 20 Oct 2018 22:48:55 +0000 (23:48 +0100)
committerReedy <reedy@wikimedia.org>
Sat, 20 Oct 2018 22:48:55 +0000 (23:48 +0100)
commit39d55d812c32d9fc3b326cb96831d61d781e9647
tree7eba198a57a2b392affb8033ec6aff9f417e2f9b
parent26665a6974598591746365b5ef189205c470e367
Output Done! at end of resetUserEmail.php

Change-Id: I8e5572f0a60e74eec300031e75b79ee71ffc008d
maintenance/resetUserEmail.php