user.js-Code in Greasemonkey-Script anwenden