Merge pull request #28117 from demeritcowboy/casedashboard-warnings2
authorMathieu Lu <mathieu@symbiotic.coop>
Wed, 15 Nov 2023 14:38:16 +0000 (09:38 -0500)
committerGitHub <noreply@github.com>
Wed, 15 Nov 2023 14:38:16 +0000 (09:38 -0500)
[php8] php warnings on case dashboard


Trivial merge