Mine functions can be given custom names, and repeated
Merge pull request #12665 from dnd/nameable_mine_functions

Mine functions can be given custom names, and repeated