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