Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
36 lines (33 sloc) 1.24 KB
<?php echo '<?xml version="1.0" encoding="UTF-8"?>'; ?>
<html xmlns="" xml:lang="en">
<title>ishmael - a UI for mk-query-digest</title>
<link rel="stylesheet" href="media/style.css" type="text/css"/>
<script src="media/graph.js"></script>
<script src="media/Fonts.js"></script>
<script src="media/BitmapType.js"></script>
<script src=""></script>
<div id="title_bar">
a UI for mk-query-digest
<form action="" method="GET">
last <input type="text" name="hours" id="hours" value="<?= $hours ?>" />
<label for="hours">hours</label>
on <select name="host">
<? foreach ($hosts as $h => $t):?>
<option value="<?=$h?>" <? if ($host == $h):?>SELECTED<? endif; ?>><?= $t ?></option>
<? endforeach; ?>
<? foreach ($_GET as $key => $value): ?>
<? if (!in_array($key, array('host', 'hours'))): ?>
<input type="hidden" name="<?= $key ?>" value="<?= $value ?>">
<? endif; ?>
<? endforeach; ?>
<input type="submit" value="go">
<div id="content_wrapper">
Something went wrong with that request. Please try again.