diff --git a/header.inc.php.template b/header.inc.php.template
index f504b04e3a..c0170f70ee 100644
--- a/header.inc.php.template
+++ b/header.inc.php.template
@@ -48,10 +48,10 @@
 	$GLOBALS['egw_info']['server']['db_persistent'] = {DB_PERSISTENT};
 
 	/*
-	** eGroupWare can handle session management using the database or 
+	** eGroupWare can handle session management using the database or
 	** the session support built into PHP4 which usually gives better
-	** performance. 
-	** Your choices are 'db' or 'php4'
+	** performance.
+	** Your choices are 'db', 'php4' or 'php4-restore'
 	*/
 	$GLOBALS['egw_info']['server']['sessions_type'] = '{SESSIONS_TYPE}';
 
@@ -79,7 +79,7 @@
 	else
 	{
 		// allow caching by browser
-		session_cache_limiter(PHP_VERSION >= 4.2 ? 'private_no_expire' : 'private');
+		session_cache_limiter('private_no_expire');
 	}
 
 	/* debugging settings */
@@ -90,12 +90,7 @@
 	define('DEBUG_OUTPUT', 2); /* 1 = screen,  2 = DB. For both use 3. */
 	define('DEBUG_TIMER', False);
 
-	function perfgetmicrotime()
-	{
-		list($usec, $sec) = explode(' ',microtime());
-		return ((float)$usec + (float)$sec);
-	}
-	$GLOBALS['egw_info']['flags']['page_start_time'] = perfgetmicrotime();
+	$GLOBALS['egw_info']['flags']['page_start_time'] = microtime(true);
 
 	/**************************************************************************\
 	* Do not edit these lines                                                  *