fgn
pageLoadTimeStart(); if(isset($_GET['newdid'])) { $_SESSION['wid'] = $_GET['newdid']; header("Location: ".$_SERVER['PHP_SELF']); } else { $building->procBuild($_GET); } ?>
getMapCheck($_GET['d']) == $_GET['c']) {
include("Templates/Map/vilview.tpl");
}
else {
header("Location: dorf1.php");
}
}
else {
include("Templates/Map/mapview.tpl");
}
?>
Calculated in pageLoadTimeEnd()-$start)*1000);
?> ms
Server time:
Server time: