<?php
header("Location: /mediawiki");
?>