";
// buttons for zoom and permalink
$zoomsize = max($border, $minButtonSize);
// map tiles are rounded down to int. three of those plus twice the border
// are the actuall over all width of the map display. we use that for the
// permalink, the search and the two zoombutton left and right
$totalwidth = 3*((int)($w)) + 2*$border - 2*$zoomsize;
$searchlinksize = $totalwidth/2;
$permalinksize = $totalwidth - $searchlinksize;
echo "
";
echo "";
echo "";
echo "
";
echo "";
echo "";
echo "
";
echo "";
echo "";
echo "
";
echo "";
echo "";
echo "
";
// show bug details
if(count($hlbug) != 0) {
echo "View bug #{$hlbug[0]}:
\n";
$parts=explode("
", $hlbug[3]);
echo "
\n";
while(list($key, $text) = each($parts)) {
// decode to convert " to ", encode to convert all special chars
echo "- ".htmlentities(html_entity_decode($text, ENT_COMPAT, "UTF-8") , ENT_NOQUOTES, "UTF-8")."
\n";
}
echo "
\n";
if($hlbug[4] == 0) {
echo "The bug is still open
\n";
echo "
$hlbug[0])))."\">Add comment\n";
echo "
$hlbug[0])))."\">Close this bug\n";
} else {
echo "The bug is closed
\n";
}
echo "
\n";
}
while(list($key, $base) = each($baselayers)) {
if($base != $layerArray["base"]) {
$newbasestring = layerToString(cow($layerArray, array("base" => $base)));
echo "
$newbasestring)))."\">$base\n";
}
}
while(list($key, $overlay) = each($overlays)) {
if($layerArray[$overlay]) {
$newoverlaystring = layerToString(cow($layerArray, array($overlay => false)));
echo "
$newoverlaystring)))."\">disable $overlay\n";
} else {
$newoverlaystring = layerToString(cow($layerArray, array($overlay => true)));
echo "
$newoverlaystring)))."\">$overlay\n";
}
}
echo "
\n";
if(isset($default["gpx"]) && ($default["gpx"] != "")) {
echo "
\n";
}
echo "
Error in the map?\n";
echo "
Wrong screen size?\n";
echo "Map tiles CC-BY-SA from
OpenStreetMap";
echo "
";
?>