Notice in line 51

Hello,

I get this error when I activates the module:
Notice : Undefined offset: 0 in node_menu_permissions_permission() (line 51 dans /srv/data/web/vhosts/www.mysite.com/htdocs/sites/all/modules/node_menu_permissions/node_menu_...).

If we change the line 51 in node_menu_permissions.module by:
$menu_name = $menus[$menu] > $menu_name = isset($menus[$menu]) ? $menus[$menu] : '';
the problem seems to be resolved.

Could you include this fix in the next version of the module?

Thanks.