GameServer: Hide saveroom and loadroom command in non-official server
Because those commands only work with OFFICIAL_SERVER
#!/bin/sh -
echo "*** Luacheck of Lua locale files:"
luacheck ../share/hedgewars/Data/Locale/*.lua --globals locale -q
echo "Missing translations in Lua locale files:"
grep -c -- "^--" ../share/hedgewars/Data/Locale/*.lua