New pages: HTMLMediaElement API (played and seeking)

[estelle]

part of Missing baseline pages project

[github-actions]

Preview URLs

• /en-US/docs/Web/API/HTMLMediaElement/played
• /en-US/docs/Web/API/HTMLMediaElement/seeking

[arinthros]

Thank you @estelle! I was looking to add played because I needed it this week and discovered it was missing, and here is an MR already opened for it.

[arinthros]

Should these also be added as entries into the main HTMLMediaElement page?

content/files/en-us/web/api/htmlmediaelement/index.md

Line 29 in 2682b7e

- {{domxref("HTMLMediaElement.buffered")}} {{ReadOnlyInline}}

I'm new to this repo, so maybe they're scooped up in a build job, but it looks like the properties are also enumerated in the parent element page by hand.

[estelle]

Should these also be added as entries into the main HTMLMediaElement page?

content/files/en-us/web/api/htmlmediaelement/index.md

Line 29 in 2682b7e

- {{domxref("HTMLMediaElement.buffered")}} {{ReadOnlyInline}}

I'm new to this repo, so maybe they're scooped up in a build job, but it looks like the properties are also enumerated in the parent element page by hand.

I am not sure if this was your question, but the two properties are already on the landing page. See https://developer.mozilla.org/en-US/docs/Web/API/HTMLMediaElement#htmlmediaelement.played.