What is a "jump file" in PHP and how is it typically used for redirection?

A "jump file" in PHP is a small script that is used for redirection purposes. It is typically used to redirect users from one page to another, either within the same website or to an external URL. This can be useful for managing redirects, handling URL changes, or creating custom landing pages.

<?php
// Example of a jump file for redirection
$url = "https://www.example.com/newpage.php";
header("Location: $url");
exit();
?>