<?php
// stub file for compatibility with older versions
include_once("./redirect.php");
?>