Fix server favorites not saving when client/serverlist/ doesn't exist already (#11152)

[minetest.git] / src / script / scripting_server.h

diff --git a/src/script/scripting_server.h b/src/script/scripting_server.h
index 88cea143ca227d1692a1cfffc02fbed55636409e..bf06ab197fc49fe8e7ac088d24b2c4d84b1102f5 100644 (file)
--- a/src/script/scripting_server.h
+++ b/src/script/scripting_server.h
@@ -51,5 +51,3 @@ class ServerScripting:
 private:
        void InitializeModApi(lua_State *L, int top);
 };
-
-void log_deprecated(const std::string &message);