Replace `@deprecated` with `#[\Deprecated]` for internal constants#18780

DanielEScherzer merged 3 commits intophp:masterphp/php-src:masterfrom

DanielEScherzer:constants-stubs-use-deprecatedDanielEScherzer/php-src:constants-stubs-use-deprecatedCopy head branch name to clipboard