PHP マニュアル: ポートコンポーネントを変更する

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

新しい URL を作成し、そのポートコンポーネントを変更します。

変更された Uri\WhatWg\Url インスタンス。

結果の URL が不正な場合、Uri\WhatWg\InvalidUrlException がスローされます。

例1 Uri\WhatWg\Url::withPort の基本的な例

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

echo $url->getPort();
?>

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