Merge pull request #28290 from braders/loaded-mapping-id
authorEileen McNaughton <emcnaughton@wikimedia.org>
Fri, 24 Nov 2023 00:19:50 +0000 (13:19 +1300)
committerGitHub <noreply@github.com>
Fri, 24 Nov 2023 00:19:50 +0000 (13:19 +1300)
commit4f9f93e1a854623eb1c556fc1ab2f0a0db287618
treec546665323036abe8433db4befe33a45916bde9b
parent3a343e116163d42fca23f72fd4dd0a48f0e04179
parenteb2d33a1e7aee9eb99a7986b5ba6b33ef1846508
Merge pull request #28290 from braders/loaded-mapping-id

[REF][PHP8.2] Remove unused property $_loadedMappingId