✏️ Editing: TsSessionType.php