Zachowanie wybranej wartości w przyciskach radiowych po wysłaniu w PHP

Napiszmy kod, który będzie zachowywać zaznaczony przycisk radiowy po wysłaniu formularza:

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>