PHPCRMenuProvider now uses manager registry instead of name