Как получить имя пользователя из & quot; формы входа в систему & quot; к функциям. Переполнение стека

У меня проблемы с моим кодом. Я хочу получить имя пользователя из формы входа на другую страницу в моем проекте, например functions.php
Но я не знаю, как получить это имя пользователя. Мне нужно имя пользователя, чтобы перенести имя пользователя в журнал пользователя. Я не знаю алгоритм, как получить имя пользователя из login_process.php в functions.php.

//Login_process.php

<?php
session_start();
include_once('functions.php');

$username = $_POST['username'];
$password = $_POST['password'];$database = new mysqli('127.0.0.1', 'user', 'user', 'library');
$query = 'SELECT * FROM account WHERE username=? AND password=?';
$statement = $database->prepare($query);
$statement->bind_param('ss', $username, $password);
$statement->execute();
$result_set = $statement->get_result();

if($result_set->num_rows){
$_SESSION['is_logged_in'] = TRUE;
//$_SESSION['user'] = $_POST['username'];
log_visitor(basename(__FILE__));
redirect('index.php');
}else{
redirect('login.php');
}
?>

//functions.php

function log_admin($_page) {
$file_name = __DIR__ . DIRECTORY_SEPARATOR . 'log.txt';
$mode = 'a+';
$log_file = fopen($file_name, $mode);
$time = date('Y/m/d H:i:s');if(filesize($file_name)==0){
fwrite($log_file, 'Date'."\t". 'Time'."\t\t\t". 'User'."\t\t". 'File'."\r\n\r\n");
}

fwrite($log_file, $time."\t".'#'.$_SESSION['is_logged_in'].'#accessing'."\t" .$_page."\r\n");
fclose($log_file);
}