Efectivamente es JS, creo que el titulo de la seccion te da una pista "JavaScript Framework for Rich Apps in Every Browser" :P, en relación a si es gratuito, deberías leer la licencia
http://www.sencha.com/products/extjs/license/, y sobre utilizarlo con PHP, claro que es posible.
Saludos.