diff --git a/src/devtools/store.js b/src/devtools/store.js
index 345dee9b0c..963b915c7f 100644
--- a/src/devtools/store.js
+++ b/src/devtools/store.js
@@ -32,6 +32,7 @@ const debug = (methodName, ...args) => {
 };
 
 type Config = {|
+  isProfiling?: boolean,
   supportsFileDownloads?: boolean,
   supportsReloadAndProfile?: boolean,
   supportsProfiling?: boolean,