docs: function isExtJsReady() {
        return !(typeof Ext === 'undefined' || !Ext.isReady || typeof Ext.onReady === 'undefined' ||
          typeof Ext.Ajax === 'undefined' || typeof Ext.Ajax.on === 'undefined');
      }