On 7/11/06, Arvid Jakobsson <arvid.jakobsson at gmail.com> wrote:
> if (GM_getEnabled() && href.match(/\.user\.js($|\?)/i) &&
> e.target.contentType == 'text/javascript') {
No, there are several possible content types.
application/x-javascript, text/plain, probably some others. But
you're on the right track.
--
Cheers,
-Mark