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)
commit530f5f34abb9a7c84243dcfbe26a58d39deb3252
tree864ab486ec08e45d5456b01b74957883560efd8c
parent0b89476572ab294e821dbbfadebb3368a7870c31
parent96c5276ea80dfb0b5e779f053b000c7e9ef30387
Merge pull request #25831 from eileenmcnaughton/skip_rest

[PHP8.2] Remove unused setting on undeclared properties