replace platform.js by webcomponents.js