Cscott has uploaded a new change for review.
https://gerrit.wikimedia.org/r/98557
Change subject: Fix tilde/caret when followed by numeric characters.
......................................................................
Fix tilde/caret when followed by numeric characters.
Change-Id: Ic61d7dd98095de301a9aa40983603b2ddf2640f6
---
M lib/index.js
1 file changed, 1 insertion(+), 1 deletion(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Collection/OfflineContentGenerator/latex_renderer
refs/changes/57/98557/1
diff --git a/lib/index.js b/lib/index.js
index 2845581..5a32d55 100644
--- a/lib/index.js
+++ b/lib/index.js
@@ -72,7 +72,7 @@
// protect TeX special characters
str = str.replace(/[#$&_%{}\\]/g, function(c) { return '\\' + c; });
// twiddle and carat are special
- str = str.replace(/~/g, '\\char"007F').replace(/\^/g, '\\char"005E');
+ str = str.replace(/~/g, '\\char"007F{}').replace(/\^/g,
'\\char"005E{}');
// compress multiple newlines (and use unix-style newlines exclusively)
str = str.replace(/\r\n?/g, '\n').replace(/\n\n+/g, '\n');
// trim leading and trailing newlines for consistent output.
--
To view, visit https://gerrit.wikimedia.org/r/98557
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic61d7dd98095de301a9aa40983603b2ddf2640f6
Gerrit-PatchSet: 1
Gerrit-Project:
mediawiki/extensions/Collection/OfflineContentGenerator/latex_renderer
Gerrit-Branch: master
Gerrit-Owner: Cscott <canan...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
