fix: another extern name :)

khairiah · Dec 6, 2020 · 810783e · 810783e
1 parent 8fe8e0c
commit 810783e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/externs.js b/externs.js
@@ -36,6 +36,7 @@ dummy.generateAsync = function() {};
 dummy.showOpenFilePicker = function() {};
 dummy.showDirectoryPicker = function() {};
 dummy.getDirectoryHandle = function() {};
+dummy.getFileHandle = function() {};
 dummy.removeEntry = function() {};
 dummy.getFile = function() {};
 dummy.text = function() {};