allow launching without loading user plugins

1 files changed, 2 insertions, 0 deletions

diff --git a/binaryninjaapi.h b/binaryninjaapi.h
index 23020d5e..dacb5a84 100644
--- a/binaryninjaapi.h
+++ b/binaryninjaapi.h
@@ -614,6 +614,8 @@ namespace BinaryNinja
 	                      std::string& output, std::string& errors,
 	                      const std::vector<std::string>& includeDirs = std::vector<std::string>());
 
+	void DisablePlugins();
+	bool IsPluginsEnabled();
 	void InitCorePlugins();
 	void InitUserPlugins();
 	void InitRepoPlugins();