Mining law of the state of West Virginia, including the child labor law of 1919, as amended by the legislature in regular session, 1915, and as further amended by the acts of 1919.