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

wmllint: Add check for [theme]s without an id

Browse source
This commit is contained in:
Ignacio R. Morelle 2014-02-20 02:05:43 -03:00
parent e2bc4a9de7
commit 16677d019e
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
data/tools/wmllint
View file

@ -612,6 +612,8 @@ def validate_on_pop(tagstack, closer, filename, lineno):
if closer == "theme" and "id" not in attributes:
if "name" in attributes:
print '"%s", line %d: using [theme]name= instead of [theme]id= is deprecated' % (filename, lineno)
else:
print '"%s", line %d: [theme] needs an id attribute' % (filename, lineno)
# Check for user-visible themes that lack a UI name or description.
if closer == "theme" and ("hidden" not in attributes or attributes["hidden"] not in ("yes", "true")):
for attr in ("name", "description"):