I do not know what this should look like in PHP. Is there even a PHP helper? Or does the menu renderer have to be explicitly passed to the view?