DateTimeZone::getName() does not include seconds in offset

[BenMorel]

Description

The following code:

<?php
$tz = new DateTimeZone('+03:00:01');
echo $tz->getName();

Resulted in this output:

+03:00

But I expected this output instead:

+03:00:01

---

Context: since PHP 8.1.7 (#8589), time-zone offsets with seconds are properly supported:

https://3v4l.org/m5VkU

But it looks like getName() has not been updated to support seconds.

PHP Version

8.2.6

Operating System

No response

[ndossche]

Seems like the internal function php_timezone_to_string() is not updated indeed.