improve performances in URL_port() giving that $_SERVER[ 'SERVER_PORT' ] is always a string
improve performances in URL_port() giving that $_SERVER[ 'SERVER_PORT' ] is always a string
valerio-bozzolan/boz-php-another-php-framework