// Browsers with outdated or limited JavaScript engines get the no-JS experience
return !(
- // Internet Explorer < 8
- ( ua.indexOf( 'MSIE' ) !== -1 && parseFloat( ua.split( 'MSIE' )[ 1 ] ) < 8 ) ||
+ // Internet Explorer < 9
+ ( ua.indexOf( 'MSIE' ) !== -1 && parseFloat( ua.split( 'MSIE' )[ 1 ] ) < 9 ) ||
// Firefox < 3
( ua.indexOf( 'Firefox/' ) !== -1 && parseFloat( ua.split( 'Firefox/' )[ 1 ] ) < 3 ) ||
// Opera < 12
// Must be after mw.config.set because these callbacks may use mw.loader which
// needs to have values 'skin', 'debug' etc. from mw.config.
- window.RLQ = window.RLQ || [];
+ var RLQ = window.RLQ || [];
while ( RLQ.length ) {
RLQ.shift()();
}