# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1448531962 0
# Node ID 16ee072037404e5a6a08e7e1d749d3069a2e5c23
# Parent  1db3dd91fb26ef4670f5e7c714acd2cc388ab83e
Core collects navigator information

diff -r 1db3dd91fb26 -r 16ee07203740 core.js
--- a/core.js	Thu Nov 26 09:39:37 2015 +0000
+++ b/core.js	Thu Nov 26 09:59:22 2015 +0000
@@ -727,6 +727,7 @@
 	projectDocument.setAttribute('file-name',url);
 	xmlDoc.appendChild(projectDocument);
 	xmlDoc.appendChild(returnDateNode());
+	xmlDoc.appendChild(interfaceContext.returnNavigator());
 	for (var i=0; i<testState.stateResults.length; i++)
 	{
 		xmlDoc.appendChild(testState.stateResults[i]);
@@ -1695,6 +1696,21 @@
 		}
 	};
 	
+	this.returnNavigator = function()
+	{
+		var node = document.createElement("navigator");
+		var platform = document.createElement("platform");
+		platform.textContent = navigator.platform;
+		var vendor = document.createElement("vendor");
+		vendor.textContent = navigator.vendor;
+		var userAgent = document.createElement("uagent");
+		userAgent.textContent = navigator.userAgent;
+		node.appendChild(platform);
+		node.appendChild(vendor);
+		node.appendChild(userAgent);
+		return node;
+	};
+	
 	this.commentBoxes = [];
 	this.elementCommentBox = function(audioObject) {
 		var element = audioObject.specification;