Conservation de la valeur sélectionnée dans les boutons radio après envoi en PHP

Écrivons un code qui conservera le bouton radio sélectionné après l'envoi du formulaire :

html<form action="" method="GET">
  <input type="radio" name="radio" value="1" <?php
    if (!empty($_GET['radio']) and $_GET['radio'] === '1') {
      echo 'checked';
    }
  ?>>
  <input type="radio" name="radio" value="2" <?php
    if (!empty($_GET['radio']) and $_GET['radio'] === '2') {
      echo 'checked';
    }
  ?>>
  <input type="radio" name="radio" value="3" <?php
    if (!empty($_GET['radio']) and $_GET['radio'] === '3') {
      echo 'checked';
    }
  ?>>
  <input type="submit">
</form>