Merge remote-tracking branch 'github/master'

This commit is contained in:
2022-01-22 20:08:35 +01:00
2 changed files with 11 additions and 1 deletions

View File

@ -337,7 +337,9 @@ function ui.apply_filter(player, filter, search_dir)
return true
end
else
local lang = minetest.get_player_information(player_name).lang_code
local player_info = minetest.get_player_information(player_name)
local lang = player_info and player_info.lang_code or ""
ffilter = function(name, def)
local lname = string.lower(name)
local ldesc = string.lower(def.description)