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