<?php
/* For licensing terms, see /license.txt */

// Redirect calls to the new web/index.php
header('Location: web/userportal');
exit;