Added support for the server to tell the client where to get the libraries of "Ext.JS".