<?php /* For licensing terms, see /license.txt */ // Redirect calls to the new web/index.php header('Location: web/userportal'); exit;