jenkins-bot has submitted this change and it was merged. Change subject: MathJax: Remove our RGB extension again, added in MathJax 2.1 ......................................................................
MathJax: Remove our RGB extension again, added in MathJax 2.1 Turns out that with the upgrade to 2.1 this is now included in core MathJax, so we don't need the extension anymore. http://docs.mathjax.org/en/latest/whats-new-2.1.html Change-Id: I653c05aaf6d94851fdf6b1649d2d5c7477d46b7e --- M modules/MathJax/extensions/TeX/texvc.js 1 file changed, 0 insertions(+), 16 deletions(-) Approvals: Physikerwelt: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/MathJax/extensions/TeX/texvc.js b/modules/MathJax/extensions/TeX/texvc.js index 1e5cc4a..a7eff6e 100644 --- a/modules/MathJax/extensions/TeX/texvc.js +++ b/modules/MathJax/extensions/TeX/texvc.js @@ -7,22 +7,6 @@ var MML = MathJax.ElementJax.mml; - /* - * Get an RGB color (a triplet of values between 0 and 255) - */ - MathJax.Extension["TeX/color"].get_RGB = function (rgb) { - rgb = rgb.split(/,/); var RGB = "#"; - if (rgb.length !== 3) {this.TEX.Error("RGB colors require 3 decimal numbers")} - for (var i = 0; i < 3; i++) { - if (!rgb[i].match(/^(\d{1,3})$/)) {this.TEX.Error("Invalid decimal number")} - var n = parseInt(rgb[i], 10); - if (n < 0 || n > 255) {this.TEX.Error("RGB values must be between 0 and 255")} - n = n.toString(16); if (n.length < 2) {n = "0"+n} - RGB += n; - } - return RGB; - } - MathJax.Hub.Insert(MathJax.InputJax.TeX.Definitions,{ mathchar0mi: { -- To view, visit https://gerrit.wikimedia.org/r/61281 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I653c05aaf6d94851fdf6b1649d2d5c7477d46b7e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Math Gerrit-Branch: master Gerrit-Owner: TheDJ <hartman.w...@gmail.com> Gerrit-Reviewer: Brion VIBBER <br...@wikimedia.org> Gerrit-Reviewer: Physikerwelt <w...@physikerwelt.de> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits