Merge pull request #24868 from christopher-yu/master
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 31 Oct 2022 23:28:29 +0000 (12:28 +1300)
committerGitHub <noreply@github.com>
Mon, 31 Oct 2022 23:28:29 +0000 (12:28 +1300)
commit4019ba430fb3c65cfbd265e8e651276c2aac00e0
tree8227a5352a954623573419e1c6540165bc9dfe10
parent28c9e9496db893e2d61c3b019bdc201318b64fed
parent41c50a0d00bf1c90dd3b0ac21186f4265dd720cb
Merge pull request #24868 from christopher-yu/master

php8 compatibility, replace array_key_exists() on non-array.