mirror of
https://github.com/luanti-org/luanti.git
synced 2025-08-01 17:38:41 +00:00
filterlist api cleanup
This commit is contained in:
parent
baf5614880
commit
8a1658ec3e
3 changed files with 15 additions and 15 deletions
|
@ -973,7 +973,7 @@ function modmgr.mod_exists(basename)
|
|||
modmgr.refresh_globals()
|
||||
end
|
||||
|
||||
if filterlist.engine_index_by_uid(modmgr.global_mods,basename) > 0 then
|
||||
if filterlist.raw_index_by_uid(modmgr.global_mods,basename) > 0 then
|
||||
return true
|
||||
end
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue