Upgrade to ExtJS 4.2.0.489.

* Remove unneeded theme.