get_extension

Description:

public unowned Extension? get_extension (PluginInfo info)

Returns the [alias@Extension] object corresponding to info.

If the plugin doesn't provide such an extension, it returns null.

Parameters:

this

A ExtensionSet
info

a PluginInfo

Returns:

a reference to a Extension