Update User.php

Fix doc comment for setRandomPassword.