For menus, buttons, and instructions. Your learning content stays in English.
/ˈmaɪnə(ɹ)/
A person who extracts minerals from the ground.
“The miner found gold hidden in the rocks.”