Suppression of SERVER_TO_LOCAL_TIME_DIFFERENCE

SERVER_TO_LOCAL_TIME_DIFFERENCE is replaced by the function
Get_SQL_to_PHP_time_difference($db), so it will work in any timezone,
taking care of DST.