From 148836246c4db886cfe1bab96277dc8cebb33bbd Mon Sep 17 00:00:00 2001
From: gwern <gwern0@gmail.com>
Date: Fri, 16 Dec 2011 14:53:09 -0500
Subject: [PATCH] fix pandoc issue #362: s/nodeValue/value// per deprecation
 warning

---
 data/static/js/MathMLinHTML.js | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/data/static/js/MathMLinHTML.js b/data/static/js/MathMLinHTML.js
index 83d2dbc1d..9c20585b2 100644
--- a/data/static/js/MathMLinHTML.js
+++ b/data/static/js/MathMLinHTML.js
@@ -18,9 +18,9 @@ function convertMath(node) {// for Gecko
         node.nodeName.toLowerCase());
     for(var i=0; i < node.attributes.length; i++)
       newnode.setAttribute(node.attributes[i].nodeName,
-        node.attributes[i].nodeValue);
+        node.attributes[i].value);
     for (var i=0; i<node.childNodes.length; i++) {
-      var st = node.childNodes[i].nodeValue;
+      var st = node.childNodes[i].value;
       if (st==null || st.slice(0,1)!=" " && st.slice(0,1)!="\n") 
         newnode.appendChild(convertMath(node.childNodes[i]));
     }
@@ -40,17 +40,17 @@ function convert() {
       node = mmlnode[i];
       while (node.nodeName!="/MATH") {
         st = node.nodeName.toLowerCase();
-        if (st=="#text") str += node.nodeValue;
+        if (st=="#text") str += node.value;
         else {
           str += (st.slice(0,1)=="/" ? "</m:"+st.slice(1) : "<m:"+st);
           if (st.slice(0,1)!="/") 
              for(var j=0; j < node.attributes.length; j++)
-               if (node.attributes[j].nodeValue!="italic" &&
-                 node.attributes[j].nodeValue!="" &&
-                 node.attributes[j].nodeValue!="inherit" &&
-                 node.attributes[j].nodeValue!=undefined)
+               if (node.attributes[j].value!="italic" &&
+                 node.attributes[j].value!="" &&
+                 node.attributes[j].value!="inherit" &&
+                 node.attributes[j].value!=undefined)
                  str += " "+node.attributes[j].nodeName+"="+
-                     "\""+node.attributes[j].nodeValue+"\"";
+                     "\""+node.attributes[j].value+"\"";
           str += ">";
         }
         node = node.nextSibling;