added Bugzilla.user.js