It depends how you quantify the mining industry. The way we do it, there are about 220,000 people who work in the mining industry today, and that's primarily in mineral exploration, mine construction, extraction, and land reclamation. It doesn't include all of the ancillary occupations that would support that.
On April 28th, 2015. See this statement in context.