Merge branch 'main' into userquin/perf-move-svg-icons-to-css

pull/3537/head
Divyansh Singh 2 years ago committed by GitHub
commit 7bcec0f9aa
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -247,5 +247,6 @@ mjx-container {
}
mjx-container > svg {
display: inline-block;
margin: auto;
}

@ -184,7 +184,7 @@ const KNOWN_EXTENSIONS = new Set()
export function treatAsHtml(filename: string): boolean {
if (KNOWN_EXTENSIONS.size === 0) {
const extraExts =
(typeof process === 'object' && process.env.VITE_EXTRA_EXTENSIONS) ||
(typeof process === 'object' && process.env?.VITE_EXTRA_EXTENSIONS) ||
(import.meta as any).env?.VITE_EXTRA_EXTENSIONS ||
''

Loading…
Cancel
Save