#18 Fix access to $_SERVER['SERVER_PORT'] from CLI