$userTsConfig User TSconfig configuration array * @param array $userPreferences User preferences array */ public function __construct( // @todo still required writable due to `DataHandler` public int $workspaceId = 0, public readonly array $userTsConfig = [], public readonly array $userPreferences = [], ) {} }