fixup wmllint to include 1.11.15 changes

wesnoth · May 24, 2014 · 12fad6e · 12fad6e
1 parent 0e2e54c
commit 12fad6e
Showing 1 changed file with 7 additions and 1 deletion.
diff --git 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):