<?php

// // Check if there is a referrer
// if(isset($_SERVER['HTTP_REFERER'])) {
//     $referrer = $_SERVER['HTTP_REFERER'];
//     header("Location: $referrer");
// } else {
//     // If there is no referrer, redirect to a default page
//     header("Location: index.php"); // Change 'index.php' to your default page
// }

// exit(); // Ensure that subsequent code is not executed after redirection
?>

<?php
echo "<script>window.history.back();</script>";
?>
