diff options
author | rubenwardy <rw@rubenwardy.com> | 2019-03-05 07:12:58 +0000 |
---|---|---|
committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2019-03-05 08:12:58 +0100 |
commit | 5d2624ab8271b490ed5c5eda8ca1e3ea677eadcc (patch) | |
tree | 09436ff01196bfe767a798dcdf5b59c335667b4e /src/script/lua_api/l_mainmenu.h | |
parent | b5defcffba12dbbcd70676ed4626929761e25620 (diff) | |
download | minetest-5d2624ab8271b490ed5c5eda8ca1e3ea677eadcc.tar.xz |
Hide uninstall package button on unmodifiable paths (#8255)
Diffstat (limited to 'src/script/lua_api/l_mainmenu.h')
-rw-r--r-- | src/script/lua_api/l_mainmenu.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/script/lua_api/l_mainmenu.h b/src/script/lua_api/l_mainmenu.h index 4a664359a..9ff822960 100644 --- a/src/script/lua_api/l_mainmenu.h +++ b/src/script/lua_api/l_mainmenu.h @@ -130,6 +130,8 @@ private: static int l_extract_zip(lua_State *L); + static int l_may_modify_path(lua_State *L); + static int l_download_file(lua_State *L); static int l_get_video_drivers(lua_State *L); |