is_area_protected: Rename from intersects_protection (#7073)
authorSmallJoker <SmallJoker@users.noreply.github.com>
Sun, 25 Feb 2018 11:25:39 +0000 (12:25 +0100)
committerGitHub <noreply@github.com>
Sun, 25 Feb 2018 11:25:39 +0000 (12:25 +0100)
commit66372e75d9b584fbb3b3fbce0de572585dd86dca
treea6eddfb278f2f51b443cbb235e79e8788adf8434
parent4118e150f8841a507e3fcb546902d1e07150e4a2
is_area_protected: Rename from intersects_protection (#7073)

* is_area_protected: Rename from intersects_protection
Return first protected position
Clarify docs: Mods may overwrite the function
builtin/game/misc.lua
doc/lua_api.txt