array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'ru', ), 'this' => array ( 0 => 'uri-whatwg-url.withport.php', 1 => 'Uri\\WhatWg\\Url::withPort', 2 => 'Modify the port component', ), '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' => 'en', '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); ?>
(PHP 8 >= 8.5.0)
Uri\WhatWg\Url::withPort — Modify the port component
Creates a new URL and modifies its port component.
portThe modified Uri\WhatWg\Url instance.
If the resulting URL is invalid, a Uri\WhatWg\InvalidUrlException is thrown.
Пример #1 Uri\WhatWg\Url::withPort() basic example
<?php
$url = new \Uri\WhatWg\Url("https://example.com:8080");
$url = $url->withPort(443);
echo $url->getPort();
?>Результат выполнения приведённого примера:
443