← Back
Editing: mizar.js-WR8YngMJ.chunk.mjs.map
{"version":3,"file":"mizar.js-WR8YngMJ.chunk.mjs","sources":["../node_modules/highlight.js/lib/languages/mizar.js.js"],"sourcesContent":["function emitWarning() {\n if (!emitWarning.warned) {\n emitWarning.warned = true;\n console.log(\n 'Deprecation (warning): Using file extension in specifier is deprecated, use \"highlight.js/lib/languages/mizar\" instead of \"highlight.js/lib/languages/mizar.js\"'\n );\n }\n }\n emitWarning();\n module.exports = require('./mizar.js');"],"names":["emitWarning","mizar_js","require$$0"],"mappings":"6dAAA,SAASA,GAAc,CACdA,EAAY,SACfA,EAAY,OAAS,GACrB,QAAQ,IACN,mKAGR,CACE,OAAAA,EAAW,EACTC,EAAiBC,EAAA","x_google_ignoreList":[0]}
Save File
Cancel