le ultime versioni di php introducono anche l'output in gif, ma ovviamente quando c'è un animazione fa tutto solo per il primo fotogramma