mirror of
https://github.com/php/php-src.git
synced 2024-11-23 18:04:36 +08:00
Merge branch 'PHP-8.3' into PHP-8.4
* PHP-8.3: PHP-8.2 is now for PHP 8.2.27-dev PHP-8.3 is now for PHP-8.3.15-dev
This commit is contained in:
commit
815a4a8878