fix getFileExtension missing numeric extensions (e.g. mp4)

Jacky Zhao

2023-08-09 e4950e06a15e34134b9feb064749748080bd59a1

 quartz/theme.ts

@@ -60,5 +60,4 @@
  --highlight: ${theme.colors.darkMode.highlight};
}
`

}