What is the meaning of Miner?

One who mines; a digger for metals, etc.; one engaged in the business of getting ore, coal, or precious stones, out of the earth; one who digs military mines; as, armies have sappers and miners.

Source: Webster’s Revised Unabridged Dictionary (1913), via OPTED