diff --git a/data/tools/wmllint b/data/tools/wmllint index 3cc4ccb7cec..55b28372309 100755 --- a/data/tools/wmllint +++ b/data/tools/wmllint @@ -1577,6 +1577,7 @@ def global_sanity_check(filename, lines): in_combo = False in_entry = False in_slider = False + in_map_generator = False in_name_generator = False storeid = None storevar = None @@ -1718,6 +1719,10 @@ def global_sanity_check(filename, lines): in_slider = True elif "[/slider]" in lines[i]: in_slider = False + elif "[generator]" in lines[i]: + in_map_generator = True + elif "[/generator]" in lines[i]: + in_map_generator = False elif name_generator_re.search(lines[i]): in_name_generator = True elif in_name_generator and ">>" in lines[i]: @@ -1908,7 +1913,8 @@ def global_sanity_check(filename, lines): and not in_stage and not in_goal and not in_set_menu_item \ and not in_clear_menu_item and not directly_in_event[-1] \ and not in_time_area and not in_trait and not in_checkbox \ - and not in_combo and not in_entry and not in_slider: + and not in_combo and not in_entry and not in_slider \ + and not in_map_generator: ids = value.split(",") for id_ in ids: # removal of leading whitespace of items in comma-separated lists