Add: platform.js ⇒ webcomponents.js