From ff6aa0570f96ccdbba9fc6ebde2f6f6a57e313b2 Mon Sep 17 00:00:00 2001
From: Jermolene <jeremy@jermolene.com>
Date: Tue, 16 Jan 2018 22:13:40 +0000
Subject: [PATCH] Check for dollar sign within HTML element name

Fixes #3091
---
 core/modules/parsers/wikiparser/rules/html.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/core/modules/parsers/wikiparser/rules/html.js b/core/modules/parsers/wikiparser/rules/html.js
index dd1ea4540..b92d19a69 100644
--- a/core/modules/parsers/wikiparser/rules/html.js
+++ b/core/modules/parsers/wikiparser/rules/html.js
@@ -97,6 +97,9 @@ exports.parseTag = function(source,pos,options) {
 		return null;
 	}
 	node.tag = token.match[1];
+	if(node.tag.slice(1).indexOf("$") !== -1) {
+		return null;
+	}
 	if(node.tag.charAt(0) === "$") {
 		node.type = node.tag.substr(1);
 	}