Function exportToJSON

devtools/modules/exportManager.js:100–103

(data, filename)

}

export function exportToJSON(data, filename) {
  const jsonStr = JSON.stringify(data, null, 2);
  downloadFile(jsonStr, filename, 'application/json');
}

export function messagesToCSV(messages, connectionInfo = null) {
  const headers = ['ID', 'EventType', 'Data', 'LastEventId', 'Timestamp'];