0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Address bug #16041: error in wmllint tag replacement.

Browse source
This commit is contained in:
Eric S. Raymond 2010-05-18 20:48:06 +00:00
parent 8c93009696
commit 4df6530a8a
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
data/tools/wmllint
View file

@ -483,7 +483,7 @@ linechanges = (
(".stoned", ".petrified"),
("stoned=", "petrified="),
# Changed at rev 37390
("swing=", "second_value="),
("swing=", "value_second="),
# Changed just before 1.7.3
("Drake Gladiator", "Drake Thrasher"),
("gladiator-", "thrasher-"),
@ -506,6 +506,7 @@ linechanges = (
("flat/grass-r3", "flat/grass3"),
("flat/grass-r2", "flat/grass2"),
("flat/grass-r1", "flat/grass1"),
("second_value=", "value_second="), # Correct earlier wmllint error
)
def validate_on_pop(tagstack, closer, filename, lineno):