From 12fad6efbc5b4a8e7325671d7cb98e51e8a1b888 Mon Sep 17 00:00:00 2001 From: Chris Beck Date: Sat, 24 May 2014 19:11:48 -0400 Subject: [PATCH] fixup wmllint to include 1.11.15 changes --- data/tools/wmllint | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/data/tools/wmllint b/data/tools/wmllint index fa3613f61d39..c5dca67ae986 100755 --- a/data/tools/wmllint +++ b/data/tools/wmllint @@ -604,7 +604,13 @@ linechanges = ( # Changed before 1.13.0 to fix frames for ragged flags ('FLAG_VARIANT ragged','FLAG_VARIANT6 ragged'), - ('FLAG_VARIANT "ragged"','FLAG_VARIANT6 ragged') + ('FLAG_VARIANT "ragged"','FLAG_VARIANT6 ragged'), + + # Changed in 1.11.15. + ("fight_on_without_leader=yes","defeat_condition=no_units_left"), + ("fight_on_without_leader=no","defeat_condition=no_leader_left"), + ("remove_from_carryover_on_leaders_loss=yes","remove_from_carryover_on_defeat=yes"), + ("remove_from_carryover_on_leaders_loss=no","remove_from_carryover_on_defeat=no") ) def validate_on_pop(tagstack, closer, filename, lineno):