On Wed, Jan 30, 2019 at 8:06 PM Bartosz Dziewoński <matma.rex(a)gmail.com>
You could temporarily set
$wgPasswordReminderResendTime to a lower value
That is a variable I didn't know about:
I actually used maintenance/CreateAndPromote.php
<https://www.mediawiki.org/wiki/Manual:CreateAndPromote.php> to force set a
new password; and instructed the user to login and change it.
Note: the user didn't receive any reset emails because the site IP address
was listed on at least one RBL and their email service provider
dropped/blocked the email messages. After a delay, I received the bounce
notifications in my spam folder (using GMail as my service provider).