bumped extjs to 4.2