Hello!
Context
In this page of documentation, we use a GIF to display a short video that illustrates the documentation (makes it more user-friendly). This is not the only page where we use a GIF.
In our documentation best practices, we explicitely say that You should save your images only as PNG.
Technically, GIF is an image format, and we use GIFs in page content with the {{image}}
macro. However, it’s not always easy to replace one GIF with one or a few PNGs.
GIFs cannot be resized from content syntax without losing the animation, so I think it’d also make sense to say that they don’t have to follow the discrete sizes rule we have for other pictures (it can be way more time consuming to apply this rule on existing GIFs than PNGs).
Proposal
Update our documentation best practices:
- Allow the use of animated GIFs
- Animated GIFs can be any size.
Opinion
Here’s my +1 for both 1. and 2. .
Conclusion
Do you agree with this change proposal? Do you think we should still enforce size rules for GIFs instead?
In a week from now (12th of December), I’ll update our documentation best practices with the result of this proposal.
Thank you in advance for your feedback!
Lucas C.