Okay, your password has been changed. It could take as long as an hour before this change makes it to the VCS server and other services. To change your password again, you\'ll have to start this process over to get a new key.

'; foot(); exit; } else { echo '

Naughty you, the key you used to access this page doesn\'t match what we have on file for that userid.

'; } } else { echo '

Those two passwords didn\'t match!

'; } } ?>

You're in the home stretch now. Just choose a new password (typing it twice, to avoid typos and another trip around this merry-go-round).

password:
again:
Okay, instructions on how to change your password have been sent to your email address. If you don\'t receive them, you\'ll have to contact group@php.net for help.

'; foot(); exit; } else { echo '

Something strange happened. You\'ll have to contact group@php.net for help.

'; } } else {?>

There's nobody named around here. Perhaps you need to contact group@php.net for help.

Forgot your VCS password, huh? Just fill in your VCS username, and instructions will be sent to you on how to change your password.