(PHP 8 >= 8.5.0)
Uri\WhatWg\Url::withPort — Modifica el componente de puerto
Crea una nueva URL y modifica su componente de puerto.
portLa instancia de Uri\WhatWg\Url modificada.
Si la URL resultante es inválida, se lanza una excepción Uri\WhatWg\InvalidUrlException.
Ejemplo #1 Ejemplo básico de Uri\WhatWg\Url::withPort()
<?php
$url = new \Uri\WhatWg\Url("https://example.com:8080");
$url = $url->withPort(443);
echo $url->getPort();
?>El ejemplo anterior mostrará:
443