They just noticed the problem late, it happens sometimes. Their process was 
transparent and they did it cleanly with a new release, much better than 
sneaking out a new version of the same release as we see sometimes in other 
ports ;-)

https://github.com/php/php-src/commit/fdeadcd9ba0627cf1967220489ab6caa031e4034

-- 
  Sent from a phone, apologies for poor formatting.

On 15 March 2025 18:54:54 Mike Fischer <fischer+obsd@lavielle.com> wrote:

> Thanks!
>
> Strange release process though. Even their GitHub repo lists no 8.3.18 
> release, though there is a 8.3.18 branch:
> https://github.com/php/php-src/tree/PHP-8.3.18
>
>> Am 15.03.2025 um 19:37 schrieb Stuart Henderson <stu@spacehopper.org>:
>>
>> On 2025/03/15 15:33, Mike Fischer wrote:
>>> After running `pkg_add -u` I ended up with php-8.3.18. However this version 
>>> is not listed in the PHP changelog:
>>> https://www.php.net/ChangeLog-8.php#8.3.19
>>> Instead version 8.3.19 is listed and 8.3.18 was apparently skipped.
>>
>> They released 8.3.18, and then they released 8.3.19.
>>
>> I've just updated the ports, the change is a noop except on aarch64.
>>