0) { EventLog::info('Imported old PXELinux menu, with ' . $num . ' additional IP-range based menus.'); } else { EventLog::info('Imported old PXELinux menu.'); } }