mirrors/element-web
1
0
Fork 0
mirror of https://github.com/vector-im/element-web.git synced 2025-09-19 12:41:24 +02:00
Code Issues Projects Releases Wiki Activity

ElectronPlatform: Fix some type annotations.

Browse Source
This commit is contained in:
Damir Jelić 2019-11-19 12:43:43 +01:00
parent 4a25252626
commit 73b302f432
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/vector/platform/ElectronPlatform.js
View File

@ -131,8 +131,8 @@ class SeshatIndexManager extends BaseEventIndexManager {
async addHistoricEvents( async addHistoricEvents(
events: [HistoricEvent], events: [HistoricEvent],
checkpoint: CrawlerCheckpoint | null = null, checkpoint: CrawlerCheckpoint | null,
oldCheckpoint: CrawlerCheckpoint | null = null, oldCheckpoint: CrawlerCheckpoint | null,
): Promise<> { ): Promise<> {
return this._ipcCall('addHistoricEvents', events, checkpoint, oldCheckpoint); return this._ipcCall('addHistoricEvents', events, checkpoint, oldCheckpoint);
} }