From 3e7ae0f05e2e6c8e77d7ea51ac4f0f465797213a Mon Sep 17 00:00:00 2001
From: Tienson Qin <tiensonqin@gmail.com>
Date: Tue, 12 Jan 2021 21:04:53 +0800
Subject: [PATCH] chore: add missing externs

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

diff --git a/externs.js b/externs.js
index 49bffcb92b6..7affca9d40f 100644
--- a/externs.js
+++ b/externs.js
@@ -51,3 +51,15 @@ dummy.values = function() {};
 dummy.filter = function() {};
 dummy.concat = function() {};
 dummy.diff_main = function() {};
+
+/**
+ * @typedef {{
+ *     recursive: (undefined | boolean),
+ * }}
+ */
+var openDirectoryOptions;
+/**
+ * @param {(undefined | openDirectoryOptions)} options
+ * @param {function} cb
+ */
+var openDirectory = function(options, cb) {};