Merge pull request #28022 from braders/unused-amt-props
authordemeritcowboy <demeritcowboy@hotmail.com>
Sun, 5 Nov 2023 15:09:11 +0000 (10:09 -0500)
committerGitHub <noreply@github.com>
Sun, 5 Nov 2023 15:09:11 +0000 (10:09 -0500)
[REF][PHP8.2] Remove unused dynamic props


Trivial merge