# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1484840294 0
# Node ID 9c84c368f4a8d96e6eac52ab4a046538a079708c
# Parent  52e51b15f808904f6ce02eecfa968040dae46bf3
Fix problems found for Edge (HTMLElement::children does not exist).

diff -r 52e51b15f808 -r 9c84c368f4a8 js/specification.js
--- 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;
                 }
             }
         };