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)
[REF][PHP8.2] Remove unused property $_loadedMappingId


Trivial merge