Changed default highlighter to highlight.js

This commit is contained in:
benweet 2014-06-12 21:14:20 +01:00
parent 0356c9e60c
commit d46e373d64

View File

@ -27,7 +27,7 @@ define([
], ],
intraword: true, intraword: true,
comments: true, comments: true,
highlighter: "prettify" highlighter: "highlight"
}; };
markdownExtra.onLoadSettings = function() { markdownExtra.onLoadSettings = function() {