And add webkit_option_menu_get_event().
Pull request: https://github.com/WebKit/WebKit/pull/6696
*** Bug 246716 has been marked as a duplicate of this bug. ***
Committed 256927@main (5c1375bc471a): <https://commits.webkit.org/256927@main> Reviewed commits have been landed. Closing PR #6696 and removing active labels.