mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-17 11:28:16 +00:00

[ci skip] Lack of this pointed out by @shikadiqueen. This change will also throw an error if id= is missing. Not sure if it did so before. (cherry-picked from commit 8d3f54ce7c4647a97efb8ddb8b598d5a1af0f815)