Salve! Stavo cercando di postare una animazione che mi arriva via Telegram, e però non ci riesco così immediatamente perchè Telegram, da un po' di tempo, le animazioni le gestisce come .mp4 e non più come .GIF. Sul forum di Telegram spiegano che il server memorizza proprio un file .mp4, e questo viene trasmesso al client. Se vuoi un .GIF, usi un convertitore mp4 to GIF.

https://github.com/telegramdesktop/tdesktop/issues/1484

A pensarci, comunque, non è in fondo una ottima scelta??? Il GIF è un formato di 30 anni fa, al confronto un MP4 è molto più ottimizzato; a parità di bitrate, la qualità è maggiore (e di contro, a parità di qualità la dimensione è minore); volendo può contenere anche audio (ma anche no!). Perchè non cominciare a supportare file .MP4, oltre a GIF animati? Ovviamente con un limite di dimensione (ma per i GIF c'è un limite di dimensione al momento? Vedo anche animazioni "pesantissime" da 5MB)