Modifica el componente de puerto

# Uri\Rfc3986\Uri::withPort

(PHP 8 >= 8.5.0)

Uri\Rfc3986\Uri::withPort — Modifica el componente de puerto

### Descripción

public function Uri\Rfc3986\Uri::withPort(?int `$port`): static

Crea una nueva URI y modifica su componente de puerto.

### Parámetros

`port`
  Nuevo componente de puerto.

### Valores devueltos

La instancia modificada de Uri\Rfc3986\Uri.

### Errores/Excepciones

Si la URI resultante es inválida, se lanza una excepción Uri\InvalidUriException.

### Ejemplos

Ejemplo #1 Ejemplo básico de Uri\Rfc3986\Uri::withPort()

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

    echo $uri->getPort();
    ?>

El ejemplo anterior mostrará:

    443

### Ver también

- Uri\Rfc3986\Uri::getPort() - Recupera el componente de puerto normalizado
- Uri\WhatWg\Url::withPort() - Modifica el componente de puerto

`↑` and `↓` to navigate • `Enter` to select • `Esc` to close • `/` to open