changeset 2644:9c84c368f4a8

Fix problems found for Edge (HTMLElement::children does not exist).
author Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
date Thu, 19 Jan 2017 15:38:14 +0000
parents 52e51b15f808
children 130ae66c3b25
files js/specification.js
diffstat 1 files changed, 4 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/js/specification.js	Thu Jan 19 15:00:15 2017 +0000
+++ b/js/specification.js	Thu Jan 19 15:38:14 2017 +0000
@@ -600,11 +600,12 @@
             var cqNode = xml.getElementsByTagName('commentquestions');
             if (cqNode.length != 0) {
                 cqNode = cqNode[0];
-                var commentQuestions = cqNode.children;
-                for (var i = 0; i < commentQuestions.length; i++) {
+                var commentQuestion = cqNode.firstElementChild;
+                while (commentQuestion) {
                     var node = new this.commentQuestionNode(this.specification);
-                    node.decode(parent, commentQuestions[i]);
+                    node.decode(parent, commentQuestion);
                     this.commentQuestions.push(node);
+                    commentQuestion = commentQuestion.nextElementSibling;
                 }
             }
         };