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