1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00

PHP-8.5 is now for PHP 8.5.2-dev

This commit is contained in:
Volker Dusch
2025-12-02 12:14:28 +01:00
parent aa795a6aa3
commit d8fbe40efb
4 changed files with 9 additions and 6 deletions

View File

@@ -2,7 +2,7 @@
/* edit configure.ac to change version number */
#define PHP_MAJOR_VERSION 8
#define PHP_MINOR_VERSION 5
#define PHP_RELEASE_VERSION 1
#define PHP_RELEASE_VERSION 2
#define PHP_EXTRA_VERSION "-dev"
#define PHP_VERSION "8.5.1-dev"
#define PHP_VERSION_ID 80501
#define PHP_VERSION "8.5.2-dev"
#define PHP_VERSION_ID 80502