Fix #13983. Switch to //# for sourcemaps.

Normally we'd avoid doing this on a patch release, but Chrome Canary is
spewing deprecation warnings already and that's generating bug tickets.