Merge branch 'task1511-show-build-date' into 'master'

Task1511 show build date

See merge request !45

public_html/deployment/inc_functions.php

@@ -201,7 +201,8 @@ function getTopArea() {
 
     $sMyPhase = "[phase]";
     $sMyRev = " [no rev] ";
-    $sJsonfile = $_SERVER["DOCUMENT_ROOT"] . "ci-webgui.json";
+    // bug#1511 json file was moved 1 level up
+    $sJsonfile = __DIR__ . "/../../ci-webgui.json";
     if (file_exists($sJsonfile)) {
         $aJson = json_decode(file_get_contents($sJsonfile), true);
         if (array_key_exists("date", $aJson))