Ciao,

non so nel caso specifico come abbiano fatto, ma un metodo automatico è teoricamente possibile (il linguaggio che utilizzi deve prevedere un componente che faccia il rendering della pagina come un browser), purtroppo non mi risulta che ci sia nulla del genere tra le estensioni PHP al momento.

Ad ogni modo forse ti puoi interfacciare con un programma tipo questo
http://marginalhacks.com/Hacks/html2jpg/