für Devtools eintrag in user.js ?