WebKit.Plugin.get_name – webkit2gtk-4.1 Reference Manual
get_name
Description:
public
unowned
string
?
get_name
()
Obtain the plugin name.
Parameters:
this
a
Plugin
Returns:
name, as a string.