function validate_submission_token($token) { if ($token != $_SESSION[CONST_SUBMISSION_TOKEN_KEY]) { message_error('Submission token has expired, please resubmit form'); } regenerate_submission_token(); }
function regenerate_tokens() { regenerate_xsrf_token(); regenerate_submission_token(); }