All public-domain lands included before September 25, 1950, within the Joshua Tree National Monument which are eliminated from the National Monument by sections 450ii to 450ii–3 of this title are opened to location, entry, and patenting under the United States mining laws: Provided, That such public-domain lands or portions thereof shall be restored to application and entry under other applicable public land laws, including the mineral leasing laws.