PHP notice with coder module

If you have the coder module then you will see the following notice on the admin/config/administration/admin_menu page:

Notice: Undefined index: name in admin_menu_theme_settings() (line 708 of /.../admin_menu/admin_menu.inc).

This is caused by the bad submodule in coder, which does not have name in info file. (coder/coder_sniffer/Test/bad.module)

The fix should be changing that code line to something like this:

// Do not check hidden modules
if (empty($info['hidden'])) {
  $all_modules[$module->name] = $info['name'];
}