<?php
$url = new \Uri\WhatWg\Url("https://example.com:8080");
// 443 is the default port for https, so it is not stored.
$url = $url->withPort(443);
var_dump($url->getPort());
$url = $url->withPort(8443);
var_dump($url->getPort());
?>
The above example will output: