Запис, читання та редагування JSON файлу

$todoName = htmlspecialchars($_POST['todo']);
$todoName = trim($todoName);
$jsonArray = [];
 
//Якщо файл існує отримуємого його зміст
if (file_exists('todo.json')){
    $json = file_get_contents('todo.json');
    $jsonArray = json_decode($json, true);
}
// Робимо запис у файл
if ($todoName){
    $jsonArray[] = $todoName;
    file_put_contents('todo.json', json_encode($jsonArray, JSON_FORCE_OBJECT));
    header('Location: '. $_SERVER['HTTP_REFERER']);
 
}
 
// Видаляємо запис
$key = @$_POST['todo_name'];
if (isset($_POST['del'])){
    unset($jsonArray[$key]);
    file_put_contents('todo.json', json_encode($jsonArray, JSON_FORCE_OBJECT));
    header('Location: '. $_SERVER['HTTP_REFERER']);
 
}
 
// Редагуємо запис
if (isset($_POST['save'])){
    $jsonArray[$key] = @$_POST['title'];
    file_put_contents('todo.json', json_encode($jsonArray, JSON_FORCE_OBJECT));
    header('Location: '. $_SERVER['HTTP_REFERER']);
}