Fix EXTJS-4.2.0.d.ts compile errors