Merge pull request #25889 from braders/remove-unused-print-property
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 21 Mar 2023 19:46:24 +0000 (08:46 +1300)
committerGitHub <noreply@github.com>
Tue, 21 Mar 2023 19:46:24 +0000 (08:46 +1300)
commitd0c3b5193eff5395fad8c7400c7ba2b49781aafc
tree3ce3fa40e9d8c32205a0d4d5e68cdbc8730a23ed
parent36dc81a17992d1f76125dcfed5e8d25ed4433bf5
parent017deda5e69a16ea199a3e8439386c402e8386ae
Merge pull request #25889 from braders/remove-unused-print-property

[REF][PHP8.2] Remove property which is no longer used