archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 21:48:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Rename ZEND_STR_DEPRECATED to ZEND_STR_DEPRECATED_CAPITALIZED (#15831)

Browse source 
To match other capitalized strings like `ZEND_STR_UNKNOWN_CAPITALIZED` and
`ZEND_STR_ARRAY_CAPITALIZED`. Since this known string was only added in PHP
8.4, no backwards compatibility alias is needed.
This commit is contained in:
DanielEScherzer 2024-09-10 14:45:23 -07:00 • committed by GitHub
parent 7c2204c915
commit db545767e5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
20 changed files with 81 additions and 81 deletions
Download patch file Download diff file Expand all files Collapse all files

2
build/gen_stub.php
View file

@ -3142,7 +3142,7 @@ class AttributeInfo {
$knowns["SensitiveParameter"] = "ZEND_STR_SENSITIVEPARAMETER";
}
if ($php84MinimumCompatibility) {
$knowns["Deprecated"] = "ZEND_STR_DEPRECATED";
$knowns["Deprecated"] = "ZEND_STR_DEPRECATED_CAPITALIZED";
$knowns["since"] = "ZEND_STR_SINCE";
}