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)
php8 compatibility, replace array_key_exists() on non-array.


Trivial merge