mirror of
https://github.com/servo/servo
synced 2026-05-10 17:12:23 +02:00
Shutdown player when HTMLMediaElement is dropped - [X] `./mach build -d` does not report any errors - [X] `./mach test-tidy` does not report any errors - [X] These changes fix #22931 - [X] There are tests for these changes <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22944) <!-- Reviewable:end -->