upstream/wesnoth
1
0
Fork 0
mirror of https://github.com/wesnoth/wesnoth synced 2025-04-24 20:59:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

wmllint: check if campaigns are in the 'campaigns' folder before considering them as mainline for the rank check

Browse Source
This commit is contained in:
Elvish_Hunter 2024-01-26 21:46:37 +01:00
parent 1c9274faea
commit 10733b1071
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
data/tools/wmllint
View File

@ -1728,7 +1728,7 @@ def local_sanity_check(filename, nav, key, prefix, value, comment):
if "add-ons" in filename:
if campaign_rank < 300:
print(errlead + "rank for add-on campaigns should be greater than or equal to 300")
else:
elif "campaigns" in filename:
if campaign_rank >= 300 or (campaign_rank % 5) != 0:
print(errlead + "rank for mainline campaigns should be a multiple of 5 between 0 and 299 (included)")
except ValueError: