Jermolene ee9d19d299 Fix problem with highlight plugin language brushes ...

TiddlyWiki passes the MIME type of the tiddler to highlight.js as the
"language brush", but it turns out that highlight.js doesn't actually
understand MIME types. This commit introduces a configuration mapping
between common MIME types and highlight.js language brushes

Fixes #2535

2016-08-18 09:07:06 +01:00

..

tiddlywiki

Fix problem with highlight plugin language brushes

2016-08-18 09:07:06 +01:00