Lines Matching refs:ext
3828 var ext = [];
3850 ext.splice(0, 0, obj);
3856 ext.splice(0, 0, obj);
3860 ext.push(obj);
3866 return {types: ext, fileName: name};
5214 var ext = url.substring(dot);
5216 if (!this.useCanvasForExport && ext == '.png')
5218 ext = '.drawio';
5221 if (ext === '.svg' || ext === '.xml' ||
5222 ext === '.html' || ext === '.png' ||
5223 ext === '.drawio')
5225 filename = tmp + ext;