PHP マニュアル: Modify the port component

public static Uri\WhatWg\Url::withPort(intnull $port)

Creates a new URL and modifies its port component.

The modified Uri\WhatWg\Url instance.

If the resulting URL is invalid, a Uri\WhatWg\InvalidUrlException is thrown.

例1 Uri\WhatWg\Url::withPort basic example

<?php
$url = new \Uri\WhatWg\Url("https://example.com:8080");
$url = $url->withPort(443);

echo $url->getPort();
?>

上の例の出力は以下となります。