Make versionNo available in JS object

mattpass · mattpass · commit 823c2c1b5f0a · 2014-06-17T10:10:51.000+01:00
diff --git a/index.php b/index.php
@@ -60,11 +60,12 @@
 </head>
 
 <body onLoad="<?php
-	echo 'top.ICEcoder.previousFiles = [';
-	if ($ICEcoder["previousFiles"]!="") {
-		$openFilesArray = explode(",",$ICEcoder["previousFiles"]);
-		echo "'".implode("','",$openFilesArray)."'";
-	}
+	echo "top.ICEcoder.versionNo = '".$ICEcoder["versionNo"]."';".
+		'top.ICEcoder.previousFiles = [';
+		if ($ICEcoder["previousFiles"]!="") {
+			$openFilesArray = explode(",",$ICEcoder["previousFiles"]);
+			echo "'".implode("','",$openFilesArray)."'";
+		}
 	echo "];";
 	echo "top.ICEcoder.theme = '".($ICEcoder["theme"]=="default" ? 'icecoder' : $ICEcoder["theme"])."';".
 		"top.ICEcoder.fontSize = '".$ICEcoder["fontSize"]."';".
