array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'es', ), 'this' => array ( 0 => 'uri-whatwg-url.withport.php', 1 => 'Uri\\WhatWg\\Url::withPort', 2 => 'Modifica el componente de puerto', ), 'up' => array ( 0 => 'class.uri-whatwg-url.php', 1 => 'Uri\\WhatWg\\Url', ), 'prev' => array ( 0 => 'uri-whatwg-url.withpath.php', 1 => 'Uri\\WhatWg\\Url::withPath', ), 'next' => array ( 0 => 'uri-whatwg-url.withquery.php', 1 => 'Uri\\WhatWg\\Url::withQuery', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'es', 'path' => 'reference/uri/uri/whatwg/url/withport.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Uri\WhatWg\Url::withPort

(PHP 8 >= 8.5.0)

Uri\WhatWg\Url::withPort — Modifica el componente de puerto

Descripción

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

Crea una nueva URL y modifica su componente de puerto.

Parámetros

port
Nuevo componente de puerto.

Valores devueltos

La instancia de Uri\WhatWg\Url modificada.

Errores/Excepciones

Si la URL resultante es inválida, se lanza una excepción Uri\WhatWg\InvalidUrlException.

Ejemplos

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

Ver también