On Fri, May 29, 2009 at 10:18 AM, K. Peachey <p858snake(a)yahoo.com.au> wrote:
As per the subject, does mediawiki do browser version
checking and
does it support double digit version numbers?. Opera is about to hit
v10 in their user agent strings which currently breaks a few scripts
on other websites currently although they have put in a tempoary stop
gap (naming as v9.80) we should make sure mediawiki detects v10
properly.
More information can be found in their Dev.Opera blog posting entitled
"Changes in Opera’s user agent string format".[1]
[1]. "Changes in Opera’s user agent string format"
<http://dev.opera.com/articles/view/opera-ua-string-changes/>
The only place I know of offhand where MediaWiki does UA checking is
in skins/common/wikibits.js. The check used for Opera is currently
if (clientPC.indexOf('opera') != -1) {
var is_opera = true;
var is_opera_preseven = window.opera && !document.childNodes;
var is_opera_seven = window.opera && document.childNodes;
var is_opera_95 = /opera\/(9.[5-9]|[1-9][0-9])/.test( clientPC );
}
As you can see, this does account for double-digit version numbers.
We should add Chrom(e|ium) here . . .