A library to programm ExtJS in PHP