Online PHP editor | refs for f4jJI

<?php $token = hash('sha512', mt_getrandmax() . microtime(TRUE)); $_SESSION['token'] = $token; ?> <form action="" method ="POST"> <input type="hidden" name ="token" value="<?= $token ?>"> <input type="text" name="search" id="search" value ="<?= isset($_POST['search']) ? $_POST['search'] : "" ?>" > <input type="submit" value="Go"> </form> <?php if (isset($_POST['token'])) { echo $_POST['token'] == $_SESSION['token'] ? 'true' : 'false'; var_dump($_SESSION); echo '<br />'; echo '<br />'; var_dump($_POST); }