Replace deprecated functions with newer ones (#510)

David Leal

2019-09-14 d5df30c3ff5ad0b9486288521abca5b517651936

 technic/tools/mining_lasers.lua

@@ -59,7 +59,7 @@
end

local function laser_shoot(player, range, particle_texture, sound)
   local player_pos = player:getpos()
   local player_pos = player:get_pos()
   local player_name = player:get_player_name()
   local dir = player:get_look_dir()