From d87461dff955546ad6c36ff8097a6460abdd67c4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Severin=20Gl=C3=B6ckner?= Date: Mon, 23 Sep 2019 20:03:24 +0200 Subject: [PATCH] wmllint: teach about new argument of disallow_end_turn [ci skip] --- data/tools/wmllint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/tools/wmllint b/data/tools/wmllint index 8708862c142..6fefa11d991 100755 --- a/data/tools/wmllint +++ b/data/tools/wmllint @@ -1114,7 +1114,7 @@ def is_translatable(key): "help_topic_text", "label", "male_message", "male_names", "male_text", "message", "name", "name_inactive", "new_game_title", "note", "option_description", "option_name", "order", "plural_name", "prefix", - "set_description", "source", "story", "summary", "victory_string", + "reason", "set_description", "source", "story", "summary", "victory_string", "defeat_string", "gold_carryover_string", "notes_string", "text", "title", "title2", "tooltip", "translator_comment", "user_team_name", "side_name" )