Merge pull request #25831 from eileenmcnaughton/skip_rest
authordemeritcowboy <demeritcowboy@hotmail.com>
Thu, 16 Mar 2023 22:02:48 +0000 (18:02 -0400)
committerGitHub <noreply@github.com>
Thu, 16 Mar 2023 22:02:48 +0000 (18:02 -0400)
[PHP8.2] Remove unused setting on undeclared properties


Trivial merge