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