Update and rename SignServerPortal.php to ServerPortal.php