summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJuan Linietsky <reduzio@gmail.com>2021-08-26 10:24:25 -0300
committerGitHub <noreply@github.com>2021-08-26 10:24:25 -0300
commiteb940ca2a02b507fc0e98da483b5a2da9ecd912d (patch)
tree5080a4bb6dc7e946080748f5440e87e5567df8b4 /doc
parent34e286d6a3efd101f04e7bcc84cea33a8d39452d (diff)
parent542e6e8ca621af377ae7552d869180fde9818e4c (diff)
Merge pull request #51928 from reduz/extension-loader
Implement Extension Loader
Diffstat (limited to 'doc')
-rw-r--r--doc/classes/NativeExtensionManager.xml6
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/classes/NativeExtensionManager.xml b/doc/classes/NativeExtensionManager.xml
index c14ce94aff..42246619f6 100644
--- a/doc/classes/NativeExtensionManager.xml
+++ b/doc/classes/NativeExtensionManager.xml
@@ -18,6 +18,12 @@
<description>
</description>
</method>
+ <method name="is_extension_loaded" qualifiers="const">
+ <return type="bool" />
+ <argument index="0" name="path" type="String" />
+ <description>
+ </description>
+ </method>
<method name="load_extension">
<return type="int" enum="NativeExtensionManager.LoadStatus" />
<argument index="0" name="path" type="String" />