Mini Shell
Mini Shell
| Direktori : /www/old2/_muzikoterapie/uloziste.eacm.cz/apps/text/js/highlight/ |
| Current File : /www/old2/_muzikoterapie/uloziste.eacm.cz/apps/text/js/highlight/mizar-js-js.js |
(self.webpackChunk_nextcloud_text=self.webpackChunk_nextcloud_text||[]).push([["highlight/mizar-js-js"],{59718:(e,i,n)=>{var s=n(25108);!function e(){e.warned||(e.warned=!0,s.log('Deprecation (warning): Using file extension in specifier is deprecated, use "highlight.js/lib/languages/mizar" instead of "highlight.js/lib/languages/mizar.js"'))}(),e.exports=n(49291)}}]);
//# sourceMappingURL=mizar-js-js.js.map?v=65e8fcba9a336e56938e