added platform.js.map