URL:
<http://gna.org/bugs/?23977>
Summary: wmllint rules needed for team_name/user_team_name
change
Project: Battle for Wesnoth
Submitted by: vultraz
Submitted on: Sun 25 Oct 2015 05:05:18 PM UTC
Category: Feature Request
Severity: 3 - Normal
Priority: 5 - Normal
Item Group: None of the others
Status: None
Privacy: Public
Assigned to: elvish_hunter
Originator Email:
Open/Closed: Open
Discussion Lock: Any
Release: 1.13.1+dev
Operating System: N/A
_______________________________________________________
Details:
In 3781e7839f29 I changed the [side] team_name= and user_team_name= keys to
team_id= and team_name=,respectively. However, I cannot cleanly convert these
with wmllint since changing ("team_name="),("team_id=") also matches
user_team_name, resulting in the key user_team_id=.
_______________________________________________________
Reply to this item at:
<http://gna.org/bugs/?23977>
_______________________________________________
Message sent via/by Gna!
http://gna.org/
_______________________________________________
Wesnoth-bugs mailing list
[email protected]
https://mail.gna.org/listinfo/wesnoth-bugs
