Include declarations for ExtJS 4.1.0, for completeness. Use some googlecode download because 4.1.0 has disappeared from Senchas website.