在发送标头之前将 __FILE__ 与 $_SERVER['SCRIPT_FILENAME'] 进行比较

Question

我是 PHP 新手，我看到一段代码，其中包含以下几行，这段代码试图在此处解释什么。

if (basename(__FILE__) === basename($_SERVER['SCRIPT_FILENAME'])) {
   header("Location: https://example.com/");
   exit();
}

include 'config.php';

如果您提供一篇文章或资源，那就太好了。