Delete devtools.js