Goto Labels
Labels are the receiving end of a goto call. They must be in the same context than the goto they relate to: there, they must be unique. There might be several goto for a single label.
<?php
goto migrate;
echo 'Forage';
migrate:
echo 'Trumpet';
?>