Conservare il valore selezionato nei pulsanti radio dopo l'invio in PHP

Scriviamo il codice che conserverà il pulsante selezionato dopo l'invio del modulo:

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>