miner.php fix missing global