hasPermission("MACHINEMANAGER_VIEW")) { header("Location: ./app.php?msg=no_permission"); die(); } if (!empty($_GET["id"])) { $machineid = $_GET["id"]; } else if (!empty($_GET["arg"])) { $machineid = $_GET["arg"]; } if (!Machine::exists($machineid)) { header("Location: ./app.php?msg=no_such_machine"); } $machine = new Machine($machineid); ?>

getTypeLabel(); ?> #getID()); ?>
hasPermission("MACHINEMANAGER_EDIT")) { ?>
get("Edit"); ?> get("Add Event"); ?>
get("Add Component"); ?>
get("Attach Existing"); ?>
get("Print Labels"); ?> get("Back"); ?>

Device Info:
toHTMLListGroup(false); $history = $machine->getEvents(); if (count($history) > 0) { ?>
Events:
toHTML(false); ?>
getComponents(); if (count($components) > 0) { ?>
Components:
toHTML(false); ?>