[ "regexp" => "/^[a-f0-9]{13}$/" ] ]); if (!$id) { $_GET["grille"] = uniqid(); header("Location: " . $_SERVER['PHP_SELF'] . "?" . http_build_query($_GET)); exit; } include_once "dico.php"; include_once "Grille.php"; $hauteur = filter_input(INPUT_GET, 'lignes', FILTER_VALIDATE_INT, [ "options" => [ "default" => HAUTEUR_PAR_DEFAUT, "min_range" => 2, "max_range" => 30 ] ]); $largeur = filter_input(INPUT_GET, 'colonnes', FILTER_VALIDATE_INT, [ "options" => [ "default" => LARGEUR_PAR_DEFAUT, "min_range" => 2, "max_range" => 30 ] ]); $grille = new Grille($hauteur, $largeur, $id); ?>