bwaindwain opened merge request !27: Fix PHP 8.4 deprecation at project / responsive_menu

Closes #3508530