updated platform.js snapshot