From f1a7e433ab48e59f2e47e6433cd4d6ccf2088b06 Mon Sep 17 00:00:00 2001
From: Jeremy Ruston <jeremy@osmosoft.com>
Date: Sun, 14 Jul 2013 23:13:42 +0100
Subject: [PATCH] Allow widget names to include digits

---
 core/modules/parsers/wikiparser/rules/html.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/modules/parsers/wikiparser/rules/html.js b/core/modules/parsers/wikiparser/rules/html.js
index cd147124e..25b2132ae 100644
--- a/core/modules/parsers/wikiparser/rules/html.js
+++ b/core/modules/parsers/wikiparser/rules/html.js
@@ -319,7 +319,7 @@ exports.parseTag = function(source,pos,options) {
 			attributes: {}
 		};
 	// Define our regexps
-	var reTagName = /([a-zA-Z\-\$]+)/g;
+	var reTagName = /([a-zA-Z0-9\-\$]+)/g;
 	// Skip whitespace
 	pos = this.skipWhiteSpace(source,pos);
 	// Look for a less than sign