diff options
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-03-12 15:45:53 +0100 |
---|---|---|
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-03-12 15:45:53 +0100 |
commit | 9c1d0dd3041f1a062f2d9708c0dc6eaa7f089c80 (patch) | |
tree | 17e3f101f557ae049454038a7d1a1a38feb5f208 /static-files/journal/prettify/lang-ml.js | |
parent | 7d9f81622846a5d775703b765819d887f23dd29c (diff) |
Calculate the number of comments for each article. Add Google Code Prettify.
Diffstat (limited to 'static-files/journal/prettify/lang-ml.js')
-rw-r--r-- | static-files/journal/prettify/lang-ml.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/static-files/journal/prettify/lang-ml.js b/static-files/journal/prettify/lang-ml.js new file mode 100644 index 0000000..698d6de --- /dev/null +++ b/static-files/journal/prettify/lang-ml.js @@ -0,0 +1 @@ +PR.registerLangHandler(PR.createSimpleLexer([[PR.PR_PLAIN,/^[\t\n\r \xA0]+/,null,' \n\r \xa0'],[PR.PR_COMMENT,/^#(?:if[\t\n\r \xA0]+(?:[a-z_$][\w\']*|``[^\r\n\t`]*(?:``|$))|else|endif|light)/i,null,'#'],[PR.PR_STRING,/^(?:\"(?:[^\"\\]|\\[\s\S])*(?:\"|$)|\'(?:[^\'\\]|\\[\s\S])*(?:\'|$))/,null,'\"\'']],[[PR.PR_COMMENT,/^(?:\/\/[^\r\n]*|\(\*[\s\S]*?\*\))/],[PR.PR_KEYWORD,/^(?:abstract|and|as|assert|begin|class|default|delegate|do|done|downcast|downto|elif|else|end|exception|extern|false|finally|for|fun|function|if|in|inherit|inline|interface|internal|lazy|let|match|member|module|mutable|namespace|new|null|of|open|or|override|private|public|rec|return|static|struct|then|to|true|try|type|upcast|use|val|void|when|while|with|yield|asr|land|lor|lsl|lsr|lxor|mod|sig|atomic|break|checked|component|const|constraint|constructor|continue|eager|event|external|fixed|functor|global|include|method|mixin|object|parallel|process|protected|pure|sealed|trait|virtual|volatile)\b/],[PR.PR_LITERAL,/^[+\-]?(?:0x[\da-f]+|(?:(?:\.\d+|\d+(?:\.\d*)?)(?:e[+\-]?\d+)?))/i],[PR.PR_PLAIN,/^(?:[a-z_]\w*[!?#]?|``[^\r\n\t`]*(?:``|$))/i],[PR.PR_PUNCTUATION,/^[^\t\n\r \xA0\"\'\w]+/]]),['fs','ml'])
\ No newline at end of file |