back to platform.js as it's the polyfill script used on the stable version of polymer