On Fri, May 29, 2009 at 10:18 AM, K. Peachey <[email protected]> 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 . . .
_______________________________________________
Wikitech-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikitech-l
