Updated devices.inc.php for new menu_option.