On Fri, May 29, 2009 at 10:18 AM, K. Peachey p858snake@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 . . .