Fix capitalization for extensions in whats-new.

This commit is contained in:
Remco Burema 2021-06-29 11:40:20 +02:00
parent 3318a7ff85
commit 4f63e5eaf5
No known key found for this signature in database
GPG Key ID: 215C49431D43F98C

View File

@ -29,7 +29,7 @@ class WhatsNewPagesModel(WelcomePagesModel):
for filename in files:
basename = os.path.basename(filename)
base, ext = os.path.splitext(basename)
if ext not in include or not base.isdigit():
if ext.lower() not in include or not base.isdigit():
continue
page_no = int(base)
highest = max(highest, page_no)