Lines Matching defs:userAgent
1166 var userAgent = navigator.userAgent.toLowerCase();
1170 version: (userAgent.match( /.+(?:rv|it|ra|ie)[\/: ]([\d.]+)/ ) || [0,'0'])[1],
1171 safari: /webkit/.test( userAgent ),
1172 opera: /opera/.test( userAgent ),
1173 msie: /msie/.test( userAgent ) && !/opera/.test( userAgent ),
1174 mozilla: /mozilla/.test( userAgent ) && !/(compatible|webkit)/.test( userAgent )
8393 navigator.userAgent.indexOf('Opera') === -1),
8394 Opera: navigator.userAgent.indexOf('Opera') > -1,
8395 WebKit: navigator.userAgent.indexOf('AppleWebKit/') > -1,
8396 Gecko: navigator.userAgent.indexOf('Gecko') > -1 &&
8397 navigator.userAgent.indexOf('KHTML') === -1,
8398 MobileSafari: !!navigator.userAgent.match(/Apple.*Mobile.*Safari/)
9595 else if (/Konqueror|Safari|KHTML/.test(navigator.userAgent))
9647 (navigator.userAgent.match(/Gecko\/(\d{4})/) || [0,2005])[1] < 2005)
10775 else if (Prototype.Browser.Gecko && /rv:1\.8\.0/.test(navigator.userAgent)) {
