From d3d873555355faf0684d518fcc9df794029c494b Mon Sep 17 00:00:00 2001 From: sbosse Date: Mon, 21 Jul 2025 22:52:05 +0200 Subject: [PATCH] Mon 21 Jul 22:43:21 CEST 2025 --- .../ext/vis/examples/graph3d/playground/prettify/lang-wiki.js | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 js/dos/ext/vis/examples/graph3d/playground/prettify/lang-wiki.js diff --git a/js/dos/ext/vis/examples/graph3d/playground/prettify/lang-wiki.js b/js/dos/ext/vis/examples/graph3d/playground/prettify/lang-wiki.js new file mode 100644 index 0000000..42e32d8 --- /dev/null +++ b/js/dos/ext/vis/examples/graph3d/playground/prettify/lang-wiki.js @@ -0,0 +1,2 @@ +PR.registerLangHandler(PR.createSimpleLexer([["pln",/^[\t \xA0a-gi-z0-9]+/,null,"\t \u00a0abcdefgijklmnopqrstuvwxyz0123456789"],["pun",/^[=*~\^\[\]]+/,null,"=*~^[]"]],[["lang-wiki.meta",/(?:^^|\r\n?|\n)(#[a-z]+)\b/],["lit",/^(?:[A-Z][a-z][a-z0-9]+[A-Z][a-z][a-zA-Z0-9]+)\b/],["lang-",/^\{\{\{([\s\S]+?)\}\}\}/],["lang-",/^`([^\r\n`]+)`/],["str",/^https?:\/\/[^\/?#\s]*(?:\/[^?#\s]*)?(?:\?[^#\s]*)?(?:#\S*)?/i],["pln",/^(?:\r\n|[\s\S])[^#=*~^A-Zh\{`\[\r\n]*/]]),["wiki"]); +PR.registerLangHandler(PR.createSimpleLexer([["kwd",/^#[a-z]+/i,null,"#"]],[]),["wiki.meta"]) \ No newline at end of file