Support for HedgeDocs user syntax

public/index.html

@@ -140,6 +140,28 @@ const renderer = {
 };
 marked.use({renderer});
 
+/* [name=USERNAME] */
+const userLink = {
+	name: 'userLink',
+	level: 'inline',
+	start(src) { return src.match(/\[name=/)?.index; },
+	tokenizer(src, tokens) {
+		const rule = /^\[name=([^\]]+)\]/;
+		const match = rule.exec(src);
+		if (match) {
+			return {
+				type: 'userLink',
+				raw: match[0],
+				username: match[1].trim(),
+			};
+		}
+	},
+	renderer(token) {
+		return `--- //[[user:${token.username}]]//`;
+	}
+};
+marked.use({extensions: [userLink]});
+
 function convert_text() {
 	let input = document.getElementById("text-input").value;
 	let output = marked(input).replace(/\n\n\n*/g, '\n\n').replace(/^\n*/, '').replace(/\n*$/, '');