[php] .gif - Datei

[Michael Post]

Hallo Liste,

in der gd-lib ist aus rechtlichen Gründen die Bearbeitung von 
.gif-Dateien eingestellt worden.
Wie sieht es generell mit dem .gif-Support aus?

Gibt es irgendwelche Tools, Libraries, die open-source oder freeware 
sind? Ich möchte "nur" eine gif-datei in der größe ändern.

MFG

Michael