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

wmllint: removed check for spaces in e-mail addresses

Browse source
This commit is contained in:
Elvish_Hunter 2021-07-31 17:47:45 +02:00
parent c5d1602160
commit 80900fdc1a
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
data/tools/wmllint
View file

@ -1352,10 +1352,6 @@ def local_sanity_check(filename, nav, key, prefix, value, comment):
and not nav.element.startswith("[filter") and \
nav.element not in custom_conditionals:
print(errlead + 'illegal child of [if]:', nav.element)
# Check for fluky credit parts
if parent == "[entry]":
if key == "email" and " " in value:
print(errlead + 'space in email name')
# Check for various things that shouldn't be outside an [ai] tag
if not in_definition and not in_call and "[ai]" not in nav.ancestors() and not ignored:
if key in ("number_of_possible_recruits_to_force_recruit",