{"version":3,"sources":["edge-polyfill.js"],"names":["window","navigator","userAgent","indexOf","console","log","fetch","undefined"],"mappings":";;AAAC;;;;;AAMD;AACA,IAAIA,MAAM,CAACC,SAAP,CAAiBC,SAAjB,CAA2BC,OAA3B,CAAmC,MAAnC,IAA6C,CAAC,CAAlD,EAAqD;AACjDC,EAAAA,OAAO,CAACC,GAAR,CAAY,8DAAZ;AACAL,EAAAA,MAAM,CAACM,KAAP,GAAeC,SAAf;AACH","sourcesContent":["/*--------------------------------------------------------------------------------------+\r\n|\r\n|  $Copyright: (c) 2018 Bentley Systems, Incorporated. All rights reserved. $\r\n|\r\n+--------------------------------------------------------------------------------------*/\r\n\r\n// Workaround for https://github.com/swagger-api/swagger-editor/issues/1371\r\nif (window.navigator.userAgent.indexOf(\"Edge\") > -1) {\r\n    console.log(\"Removing native Edge fetch in favor of swagger-ui's polyfill\")\r\n    window.fetch = undefined;\r\n}"],"file":"edge-polyfill.min.js"}