- enhancement: updated source to ExtJS 4.2.1