diff --git a/.luacheckrc b/.luacheckrc index 3a4667b4a..82c10fcd3 100644 --- a/.luacheckrc +++ b/.luacheckrc @@ -10,6 +10,7 @@ ignore = { read_globals = { "ItemStack", "INIT", + "PLATFORM", "DIR_DELIM", "dump", "dump2", "fgettext", "fgettext_ne", @@ -75,10 +76,6 @@ files["builtin/mainmenu"] = { globals = { "gamedata", }, - - read_globals = { - "PLATFORM", - }, } files["builtin/common/tests"] = {