diff options
author | alexichi <alexbankai96@gmail.com> | 2016-05-11 11:56:19 +0200 |
---|---|---|
committer | alexichi <alexbankai96@gmail.com> | 2016-05-11 11:56:19 +0200 |
commit | 35efaf74e828b738a20324a664cf9c2e08ef47d4 (patch) | |
tree | 183b4704c87c61b690010efbd6f3b30218328bcc /doc/phpdoc/js/prettify/lang-ml.js | |
parent | 2350d43a09495db18b22b86ffc815a84eeb35579 (diff) | |
parent | 1158d2063f00f38de19a4600566b244a942d86ba (diff) | |
download | candybox-alexichi.tar.gz candybox-alexichi.tar.bz2 candybox-alexichi.tar.xz candybox-alexichi.zip |
Merge branch 'master' of piernov.org:candybox into alexichialexichi
Conflicts:
inc/perso.inc
Diffstat (limited to 'doc/phpdoc/js/prettify/lang-ml.js')
-rw-r--r-- | doc/phpdoc/js/prettify/lang-ml.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/phpdoc/js/prettify/lang-ml.js b/doc/phpdoc/js/prettify/lang-ml.js new file mode 100644 index 0000000..6df02d7 --- /dev/null +++ b/doc/phpdoc/js/prettify/lang-ml.js @@ -0,0 +1,2 @@ +PR.registerLangHandler(PR.createSimpleLexer([["pln",/^[\t\n\r \xa0]+/,null,"\t\n\r Â\xa0"],["com",/^#(?:if[\t\n\r \xa0]+(?:[$_a-z][\w']*|``[^\t\n\r`]*(?:``|$))|else|endif|light)/i,null,"#"],["str",/^(?:"(?:[^"\\]|\\[\S\s])*(?:"|$)|'(?:[^'\\]|\\[\S\s])(?:'|$))/,null,"\"'"]],[["com",/^(?:\/\/[^\n\r]*|\(\*[\S\s]*?\*\))/],["kwd",/^(?: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/], +["lit",/^[+-]?(?:0x[\da-f]+|(?:\.\d+|\d+(?:\.\d*)?)(?:e[+-]?\d+)?)/i],["pln",/^(?:[_a-z][\w']*[!#?]?|``[^\t\n\r`]*(?:``|$))/i],["pun",/^[^\w\t\n\r "'\xa0]+/]]),["fs","ml"]); |