<?php list( $start_micro, $start_sec ) = explode( " ", microtime() ); ?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=utf-8" /> <meta http-equiv="cache-control" content="no-cache" /> <meta http-equiv="pragma" content="no-cache" /> <title>Repository hit visualisation using GD</title> <meta name="generator" content="BBEdit 8.2" /> <script type="text/javascript" src="gd_map.js"></script> </head> <body> <h1>Repository hit visualisation using GD</h1> <div id="timer">Loading…</div> <div> <?php echo '<img id="map" src="gd_map.pl?width=1024&height=520&top=' . ( ( isset( $_REQUEST['top'] ) ) ? $_REQUEST['top'] : 10 ) . '&show=' . ( ( isset( $_REQUEST['show'] ) ) ? $_REQUEST['show'] : 'both' ) . '&eprint=' . ( ( isset( $_REQUEST['eprint'] ) ) ? $_REQUEST['eprint'] : '' ) . '" onLoad="imageLoaded(' . ( ( (float)$start_micro + (float)$start_sec ) * 1000 ) . ')" width="1024" height="520" alt="" style="border:1px solid black;" />'; ?> </div> </body> </html>