github-mirror/discourse
2
0
Fork 0
mirror of https://github.com/discourse/discourse.git synced 2025-06-20 12:22:08 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

FEATURE: Allow selection of highlight js languages

Browse Source 
PERF: stop loading highlight js on load

To get latest highlight js run bin/rake highlightjs:update
This commit is contained in:
Sam
2015-03-13 16:15:13 +11:00
parent 1e339ad527
commit a82530012a
137 changed files with 277 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
lib/highlight_js/assets/lang/mizar.js Normal file
View File

@ -0,0 +1 @@
hljs.registerLanguage("mizar",function(e){return{k:"environ vocabularies notations constructors definitions registrations theorems schemes requirements begin end definition registration cluster existence pred func defpred deffunc theorem proof let take assume then thus hence ex for st holds consider reconsider such that and in provided of as from be being by means equals implies iff redefine define now not or attr is mode suppose per cases set thesis contradiction scheme reserve struct correctness compatibility coherence symmetry assymetry reflexivity irreflexivity connectedness uniqueness commutativity idempotence involutiveness projectivity",c:[e.C("::","$")]}});