✏️ Editing: EditSessionFile.php