If you just want to change the existing mine command, yes. You dont have to modify these:
data/scripts/entity/craftorders.lua
data/scripts/player/map/mapcommands.lua
You can simply overwride just the mine.lua like I did in the attached example. This will modify the vanilla game file. All other scripts and the game itself will use the modded script this way.
Thanks for the example, I'm a little confused though. The original Mine.lua already contains a function called AIMine.findMinedAsteroid(), doesn't appending another cause issues? Do you know if the function replaced or if the code is appended to that function? Where in that function is it appended is it appended if it is appended?