diff options
author | Juan Linietsky <reduzio@gmail.com> | 2021-08-26 10:24:25 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-26 10:24:25 -0300 |
commit | eb940ca2a02b507fc0e98da483b5a2da9ecd912d (patch) | |
tree | 5080a4bb6dc7e946080748f5440e87e5567df8b4 /doc | |
parent | 34e286d6a3efd101f04e7bcc84cea33a8d39452d (diff) | |
parent | 542e6e8ca621af377ae7552d869180fde9818e4c (diff) |
Merge pull request #51928 from reduz/extension-loader
Implement Extension Loader
Diffstat (limited to 'doc')
-rw-r--r-- | doc/classes/NativeExtensionManager.xml | 6 |
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" /> |