Update bookmarklet.js

Devint, not DevInt