added the rest of ext.js 4.2.2.1144 (after i emptied out the .ignore item)