Update mining.php

Deleted some '