Update to ExtJS 4.2.0 GPL

Merging code.