<?php
  header("Location: https://" . $_SERVER['HTTP_HOST'] . "/");
?>