store navigator.appName in session object on init

functions.php

@@ -1348,7 +1348,7 @@
 			return false;
 		} else {
 			return true;
-		} 
+		}
 	}
 
 	function file_is_locked($filename) {
@@ -2742,6 +2742,8 @@
 
 			}
 
+			print '[' . $_SESSION["client.userAgent"] . ']';
+
 			print "<td class=\"headlineActions$rtl_cpart\">
 				<ul class=\"headlineDropdownMenu\">
 				<li class=\"top2\">