Loro usano questo sistema:
http://www.phplivesupport.com/

a pagamento naturalmente ma forse qualcosa di simile lo si trova anche in PHP free....


...e infatti eccone qua uno bello free in PHP:
http://www.craftysyntax.com/livehelp/