no add-ons i found Convert webp to GIF it's what i want
To keep all my file types the same on my computer