Merge pull request #28304 from braders/bao-badge
authorEileen McNaughton <emcnaughton@wikimedia.org>
Fri, 24 Nov 2023 22:10:21 +0000 (11:10 +1300)
committerGitHub <noreply@github.com>
Fri, 24 Nov 2023 22:10:21 +0000 (11:10 +1300)
commit6e0abd5bdc6d3c21ad4ac3d3bd8849d6d37c187e
tree04171380540ce2f8a8f03201b63b1077fe5024a4
parentf8a214edfd8c888dec0922e2622d3e8a9ff66eb2
parent9c38bfcccbb891c8fac34c9e6d0f63cb7497efba
Merge pull request #28304 from braders/bao-badge

[REF][PHP8.2] Tidy up properties in CRM_Badge_BAO_Badge