Remove a duplicated definition of HTMLScriptElement.