module Ext_ElementLoader:A class used to load remote content to an Element. ...sig..end
A class used to load remote content to an Element. Sample usage:
Ext.get('el').load({
url: 'myPage.php',
scripts: true,
params: {
id: 1
}
});
In general this class will not be instanced directly, rather the Ext.Element.load method will be used.
class type t =object..end
class type configs =object..end
class type events =object..end
class type statics =object..end
val of_configs : configs Js.t -> t Js.tof_configs c casts a config object c to an instance of class tval to_configs : t Js.t -> configs Js.tto_configs o casts instance o of class t to a config object