Bug 262039

Summary:	GPUExternalTextureDescriptor undefined reference to HTMLVideoElement
Product:	WebKit	Reporter:	Thomas Devoogdt <thomas.devoogdt>
Component:	WebKitGTK	Assignee:	Nobody <webkit-unassigned>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	bugs-noreply, mcatanzaro
Priority:	P2
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified

Description Thomas Devoogdt 2023-09-25 08:01:16 PDT

HTMLVideoElement is not compiled if no VIDEO support.

Comment 1 Michael Catanzaro 2023-09-26 08:51:07 PDT

Hi, when reporting compilation failures please include the full error message to show what is wrong, since otherwise nobody is going to be able to fix it. Also, consider submitting a pull request on GitHub because it's very unlikely that anybody else will fix this for you.

Comment 2 Thomas Devoogdt 2023-09-26 09:44:45 PDT

I've created this bug report because it's mandatory for pull requests. I've just forgot to mention the pull request here.

https://github.com/WebKit/WebKit/pull/18157

Comment 3 EWS 2023-09-26 10:28:34 PDT

Committed 268461@main (ac630888d1fa): <https://commits.webkit.org/268461@main>

Reviewed commits have been landed. Closing PR #18157 and removing active labels.

Comment 4 EWS 2023-09-26 13:26:08 PDT

Committed 268475@main (e7b9f308ce4a): <https://commits.webkit.org/268475@main>

Reviewed commits have been landed. Closing PR #18237 and removing active labels.