Это функция, которую ExtJS использует внутри для генерации уникальных идентификаторов для элементов DOM, которые создаются ExtJS. С моей консоли на http://www.sencha.com:
> Ext.id
function (e,D){return(e=Ext.getDom(e)||{}).id=e.id||(D||"ext-gen")+(++h)}
> Ext.id()
"ext-gen22"
> Ext.id()
"ext-gen23"
> Ext.id()
"ext-gen24"
Из источника
См. здесь (прокрутите вниз до Public Methods -> id
) и здесь .
/**
* Generates unique ids. If the element already has an id, it is unchanged
* @param {Mixed} el (optional) The element to generate an id for
* @param {String} prefix (optional) Id prefix (defaults "ext-gen")
* @return {String} The generated Id.
*/
id : function(el, prefix){
el = Ext.getDom(el, true) || {};
if (!el.id) {
el.id = (prefix || "ext-gen") + (++idSeed);
}
return el.id;
},