Is there a better way than goto to achieve this:
index.php:
echo "Welcome to our site";
require 'showPonies.php';
echo "I hope you enjoyed your stay!";
showPonies.php:
...
if (isset($_GET['noponies'])
goto EXITSCRIPT;
...
// This is the end of the file
EXITSCRIPT:
?>
Specifically I am looking for a way inside showPonies.php to "exit(0)" the script and return processing from where it was included/required.