Removed portal.phps source file, no longer needed.