Use ExtJS 5 (GPL version)