"; } /* print csrf token in url format */ function print_csrf_token_in_url() { setcsrftoken(); echo "&csrf_token=" . $_SESSION['csrf_token']; } /* set csrf token */ function setcsrftoken() { if (!isset($_SESSION['csrf_token'])) { $_SESSION['csrf_token'] = sha1(rand(10000000, 99999999)); } } ?>