if (isset($_REQUEST['edit'])) { $edit = true; } else { $edit = false; } $Ops = new Ops(); writeHead("<TITLE>Ops - Meterkast - ADL Prototype</TITLE>" . ($edit ? '<SCRIPT type="text/javascript" src="js/edit.js"></SCRIPT>' : '<SCRIPT type="text/javascript" src="js/navigate.js"></SCRIPT>') . "\n"); if ($edit) { echo '<FORM name="editForm" action="' . $_SERVER['PHP_SELF'] . '" method="POST" class="Edit">'; } ?> <H1>Ops</H1> <DIV class="Floater Operations"> <DIV class="FloaterHeader">Operations</DIV> <DIV class="FloaterContent"><?php $Operations = $Ops->get_Operations(); echo ' <UL>'; foreach ($Operations as $i0 => $idv0) { $v0 = $idv0; echo ' <LI CLASS="item UI" ID="0.' . $i0 . '">'; if (!$edit) { echo ' <A HREF="' . serviceref('Operatie', array('Operatie' => urlencode($idv0['id']))) . '">'; echo '<DIV class="GotoArrow">→</DIV></A>'; } echo ' <DIV>'; echo 'name: '; echo '<SPAN CLASS="item UIname" ID="0.' . $i0 . '.0">';