version info moved from customMap

frontend-js/src/main/js/map/CustomMap.js

@@ -133,11 +133,6 @@ CustomMap.prototype.createBelt = function() {
   this.divBelt = document.createElement('DIV');
   this.divBelt.className = "headerBelt";
 
-  var controlText = document.createElement('div');
-  controlText.className = "headerTextBold";
-  controlText.innerHTML = this.getProject().getName();
-  this.divBelt.appendChild(controlText);
-
   this.getGoogleMap().controls[google.maps.ControlPosition.TOP_LEFT].push(this.divBelt);
 };
 

frontend-js/src/main/js/minerva.js

@@ -259,6 +259,13 @@ function create(params) {
         }
         google.maps.event.trigger(result.getGoogleMap(), 'resize');
       };
+
+      var project = params.project;
+      if (project===undefined) {
+        project = params.getProject();
+      }
+      document.getElementsByName("versionDiv")[0].innerHTML=project.getVersion();
+      
       if (ServerConnector.getSessionData().getShowComments()) {
         result.getControl(ControlType.COMMENT_CHECKBOX).checked=true;
         return result.refreshComments();

frontend-js/src/test/js/helper.js

@@ -34,6 +34,10 @@ Helper.prototype.createMenuDiv = function() {
   var hideDiv = document.createElement("div");
   result.appendChild(hideDiv);
 
+  var versionDiv = document.createElement("div");
+  result.setAttribute("name", "versionDiv");
+  result.appendChild(versionDiv);
+
   var button = document.createElement("button");
   button.setAttribute("name", "hideButton")
   hideDiv.appendChild(button);