From 959aabecd2e7a37d8cfd35e49e0d4e44f442a7bc Mon Sep 17 00:00:00 2001
From: Tienson Qin <tiensonqin@gmail.com>
Date: Mon, 7 Dec 2020 01:00:48 +0800
Subject: [PATCH] fix: add missing externs

---
 externs.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/externs.js b/externs.js
index 3e45adfe7c..c7138f931c 100644
--- a/externs.js
+++ b/externs.js
@@ -40,3 +40,10 @@ dummy.getFileHandle = function() {};
 dummy.removeEntry = function() {};
 dummy.getFile = function() {};
 dummy.text = function() {};
+dummy.requestPermission = function() {};
+dummy.queryPermission = function() {};
+dummy.verifyPermission = function() {};
+dummy.createWritable = function() {};
+dummy.write = function() {};
+dummy.close = function() {};
+dummy.values = function() {};