From 6d70eff2ddec9c2938554cc5cc22e57ed1ff7d26 Mon Sep 17 00:00:00 2001 From: Kano Date: Sun, 1 Sep 2013 12:21:24 +1000 Subject: [PATCH] miner.php add doctype --- miner.php | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/miner.php b/miner.php index e64f0e22..89f3cba7 100644 --- a/miner.php +++ b/miner.php @@ -1,7 +1,7 @@ \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 "$refreshmeta + echo "$doctype$refreshmeta $title