Update devtools.js