OpenCloud
/
element-web
mirror of https://github.com/vector-im/element-web
1
0
Fork 0
Code Issues Releases Wiki Activity

BaseEventIndexManager: Fix some type annotations.

pull/21833/head
Damir Jelić 2019-11-18 10:26:17 +01:00
parent 5149164010
commit 910c3ac08d
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/BaseEventIndexManager.js
View File

@ -159,8 +159,8 @@ export default class BaseEventIndexManager {
*/ */
async addHistoricEvents( async addHistoricEvents(
events: [HistoricEvent], events: [HistoricEvent],
checkpoint: CrawlerCheckpoint | null = null, checkpoint: CrawlerCheckpoint | null,
oldCheckpoint: CrawlerCheckpoint | null = null, oldCheckpoint: CrawlerCheckpoint | null,
): Promise<bool> { ): Promise<bool> {
throw new Error("Unimplemented"); throw new Error("Unimplemented");
} }