miner.php add doctype