miner.php: ereg_replace is DEPRECATED so use preg_replace instead
diff --git a/miner.php b/miner.php
index 8f37dfc..945f3ae 100644
--- a/miner.php
+++ b/miner.php
@@ -267,7 +267,7 @@ function details($cmd, $list)
if ($item == 'STATUS')
continue;
- $sectionname = ereg_replace('[0-9]', '', $item);
+ $sectionname = preg_replace('/\d/', '', $item);
if ($sectionname != $section)
{