int videoWidth
@DocsEditable(), @DomName('HTMLVideoElement.videoWidth'), final