Nasıl yapıldığı hakkında kesin bir bilgiye sahip değilim ama tahminen şöyledir,
linuxta çeşitli yazılımlar ile terminal üzerinden dosya çevirileri yapılabiliyor.

Kullanıcının upload ettiği dosyayı php üzerinden shell exec ile sunucuya komut göndererek çevirtebilirsin..

Tabi bunlar bir tahminden ibaret :)

Belki sadece php ile yapılıyordur. Ama zannetmiyorum