Commit 6d70eff2ddec9c2938554cc5cc22e57ed1ff7d26
2013-09-01T12:21:24
miner.php add doctype
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
diff --git a/miner.php b/miner.php
index e64f0e2..89f3cba 100644
--- a/miner.php
+++ b/miner.php
@@ -1,7 +1,7 @@
<?php
session_start();
#
-global $title, $miner, $port, $readonly, $notify, $rigs;
+global $doctype, $title, $miner, $port, $readonly, $notify, $rigs;
global $mcast, $mcastexpect, $mcastaddr, $mcastport, $mcastcode;
global $mcastlistport, $mcasttimeout;
global $rigipsecurity, $rigtotals, $forcerigtotals;
@@ -13,6 +13,8 @@ global $miner_font_family, $miner_font_size;
global $bad_font_family, $bad_font_size;
global $colouroverride, $placebuttons, $userlist;
#
+$doctype = "<!DOCTYPE html>\n";
+#
# See API-README for more details of these variables and how
# to configure miner.php
#
@@ -280,7 +282,7 @@ function getdom($domname)
#
function htmlhead($mcerr, $checkapi, $rig, $pg = null, $noscript = false)
{
- global $title, $miner_font_family, $miner_font_size;
+ global $doctype, $title, $miner_font_family, $miner_font_size;
global $bad_font_family, $bad_font_size;
global $error, $readonly, $poolinputs, $here;
global $ignorerefresh, $autorefresh;
@@ -312,7 +314,7 @@ function htmlhead($mcerr, $checkapi, $rig, $pg = null, $noscript = false)
$miner_font = "font-family:$miner_font_family; font-size:$miner_font_size;";
$bad_font = "font-family:$bad_font_family; font-size:$bad_font_size;";
- echo "<html><head>$refreshmeta
+ echo "$doctype<html><head>$refreshmeta
<title>$title</title>
<style type='text/css'>
td { $miner_font ".getcss('td')."}