miner.php enhancements