Note for self: a good snippet how to mock user-agent in JavaScript:

var __originalNavigator = navigator;
navigator = new Object();
navigator.__proto__ = __originalNavigator;
navigator.__defineGetter__('userAgent', function () { return 'Custom'; });

Taken from http://stackoverflow.com/questions/1307013/mocking-a-useragent-in-javascript .

This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators.
For more information on JIRA, see: http://www.atlassian.com/software/jira