v7.5.11

👷‍♂️ Patch fixes

• HTMLSelectElement.options.add() and HTMLSelectElement.options.remove() has to update the actual DOM
• HTMLSelectElement.appendChild(), HTMLSelectElement.beforeChild() and HTMLSelectElement.removeChild() has to update the option elements in HTMLSelectElement.options
• HTMLSelectElement.options.selectedIndex was not updated correctly after removing a selected option
• Adds support for HTMLSelectElement.length
• HTMLSelectElement now supports to do get options by index (e.g. select[1])