Add core.open_url() to main menu API (#8592)
authorrubenwardy <rw@rubenwardy.com>
Sun, 17 May 2020 18:09:10 +0000 (19:09 +0100)
committerGitHub <noreply@github.com>
Sun, 17 May 2020 18:09:10 +0000 (19:09 +0100)
commita9c3a423231e26ea3edee51d5f0bf949ca8e529b
treebaac0b68f1d2daf66a140dc15d6d731eba64c9dc
parentc1ce4be756e2554051a27f244303377c0a7d69a6
Add core.open_url() to main menu API (#8592)
build/android/app/src/main/java/net/minetest/minetest/GameActivity.java
builtin/mainmenu/dlg_contentstore.lua
builtin/mainmenu/tab_credits.lua
doc/menu_lua_api.txt
src/porting.cpp
src/porting.h
src/porting_android.cpp
src/porting_android.h
src/script/lua_api/l_mainmenu.cpp
src/script/lua_api/l_mainmenu.h