+ // Connect OOUI's deprecation warnings to MediaWiki's logging system
+ OO.ui.warnDeprecation = function ( message ) {
+ mw.track( 'mw.deprecate', 'oojs-ui' );
+ mw.log.warn( message );
+ };
+ OO.ui.isMobile = function () {
+ if ( isMobile === undefined ) {
+ isMobile = !!mw.config.get( 'wgMFMode' );
+ }
+ return isMobile;
+ };