Merge pull request #24904 from sebalis/patch-1
authordemeritcowboy <demeritcowboy@hotmail.com>
Sat, 5 Nov 2022 22:48:59 +0000 (18:48 -0400)
committerGitHub <noreply@github.com>
Sat, 5 Nov 2022 22:48:59 +0000 (18:48 -0400)
avoid fatal error in PHP 8 in BAO/Navigation.php


Trivial merge