platform.js => webcomponents.js