I also had the same doubts, and i've come up with the following:

Production: ext-all.js

Development: ext-all-dev.js (It's really useful to use Ext.log function for debugging)