platform.js ⇒ webcomponents.js