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

wmllint: added conversion rule for maps/background.png to WebP

Browse source
This commit is contained in:
Elvish_Hunter 2022-03-15 22:47:17 +01:00
parent 9e98be3676
commit e1553e8c52
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
data/tools/wmllint
View file

@ -1000,6 +1000,10 @@ linechanges = (
("themes/unit_box/misc/time-schedules/default/schedule-underground-illum.png", "misc/time-schedules/schedule-underground-illum.png"),
("themes/unit_box/misc/time-schedules/default/tod-schedule-24hrs.png", "misc/time-schedules/tod-schedule-24hrs.png"),
# Changed in 1.17.2
# added support for WebP images and converted an image to this format
("maps/background.jpg", "maps/background.webp"),
)
# helper function to reduce code duplication and allow easy checking