Obtendo as opções marcadas em check boxes (caixas de seleção)

<form name="cadastro" method="post" action="testes.php">
  <b></b>Marque suas linguagens favoritas:</b><br>
  <input type="checkbox" name="ch1" 
    value="Java">Java<br>
  <input type="checkbox" name="ch2" 
    value="Delphi">Delphi<br>
  <input type="checkbox" name="ch3" 
    value="C++">C++<br>
  <input type="checkbox" name="ch4" 
    value="Python">Python<br>
  <input type="submit" value="Enviar!">
</form>

<?
  // Verifica quais check boxes foram marcadas
  $checkbox1 = $_POST["ch1"];
  $checkbox2 = $_POST["ch2"];
  $checkbox3 = $_POST["ch3"];
  $checkbox4 = $_POST["ch4"];
  
  // Exibe o resultado
  echo "Suas linguagens favoritas são:<br><br>";
  
  if(!empty($checkbox1))
    echo $checkbox1 . "<br>";
  if(!empty($checkbox2))
    echo $checkbox2 . "<br>";
  if(!empty($checkbox3))
    echo $checkbox3 . "<br>";
  if(!empty($checkbox4))
    echo $checkbox4;
?>