Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

♻️ Add DomElement type for media pool #19396

Merged

Conversation

newmuis
Copy link
Contributor

@newmuis newmuis commented Nov 20, 2018

Adds a third typedef for media pool: DomElementDef. The three types are now:

  1. PlaceholderElementDef: This element is a placeholder for media elements. If there is space in the pool, media elements can be swapped into the DOM in place of placeholder elements. If not, the placeholder element remains in the DOM.
  2. PoolBoundElementDef: This element is allocated by the media pool. It is swapped in place of placeholder elements, and is the media element that gets played in the UI.
  3. DomElementDef: A union of PlaceholderElementDef and PoolBoundElementDef. Essentially, "we're not sure yet; we'll need to check which type this is, but it's definitely one of the two."

This PR should be just type and documentation changes.

@newmuis newmuis merged commit 1c6304d into ampproject:master Nov 20, 2018
Enriqe pushed a commit to Enriqe/amphtml that referenced this pull request Nov 28, 2018
* Add DomElement type

* Remove non-type/non-docs changes
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants