Sorry, the code to change it to is:
if ($WAFV_Errors != "") {
die($WAFV_Errors);
PostResult($WAFV_Redirect,$WAFV_Errors,"usersRegistration");
}
I need for you to add a copy of the php page to a zip file and send the file with your reply so I can examine the php code.