Čuvanje odabrane vrednosti u radio dugmadima nakon slanja u PHP

Napišimo kod koji će sačuvati označeno radio dugme nakon slanja forme:

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>