Pues la pagina que muestras usan jQuery y supongo que HTML5, con respecto a animacion PHP no tiene nada que ver(o nunca lo he usado), es usando jQuery HTML y pues podria ser PHP para los datos que se quieran extraer de alguna base de datos y hasta ahi.