Merge pull request #26693 from larssandergreen/Remove-PHP5-check
authordemeritcowboy <demeritcowboy@hotmail.com>
Sat, 1 Jul 2023 18:27:12 +0000 (14:27 -0400)
committerGitHub <noreply@github.com>
Sat, 1 Jul 2023 18:27:12 +0000 (14:27 -0400)
Don't check for PHP 5 on Mapping Settings


Trivial merge