Uri\WhatWg\Url::withPort

(PHP 8 >= 8.5.0)

Uri\WhatWg\Url::withPort — ポートコンポーネントを変更する

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

新しい 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();
?>

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