get_extension


Description:

public unowned Extension? get_extension (PluginInfo info)