Urmm, going by the filename (&quot;GIFEncoder.class.php&quot;), that&#x27;s just the GIF Encoder. This post isn&#x27;t about the ability to generate GIFs using PHP (as that class does), but about varying the content of the GIF on a per-request basis (in &quot;real-time&quot;).<p>Looking at the git commit history, this was created ~2 days ago.