ZomgPonies/Paradise — pull request #356 by Regory (2014-08-04 16:03:13+00:00)
Title: Scoreboard mining

Increments the scoreboard variable for ore mined whenever ore is mined (specifically, whenever ore is spawned after the game starts).