API Version: 4.1
Library Version: 2.39.2
property options: WebKit2WebExtension.DOMHTMLOptionsCollection [ read ]
WebKitDOMHTMLOptionsCollection
webkit_dom_html_select_element_get_options()