[PHP 8.5] Convert `@deprecated` to `#[\Deprecated]` on constants#7155

Merged

samsonasik merged 1 commit intorectorphp:mainfrom

DanielEScherzer:deprecated-constants

Aug 20, 2025

Commits on Aug 20, 2025

[PHP 8.5] Convert `@deprecated` to `#[\Deprecated]` on constants
DanielEScherzer
committed