OO.ui.warnDeprecation = function ( message ) {
mw.track( 'mw.deprecate', 'oojs-ui' );
mw.log.warn( message );
};
OO.ui.isMobile = function () {
if ( isMobile === undefined ) {
OO.ui.warnDeprecation = function ( message ) {
mw.track( 'mw.deprecate', 'oojs-ui' );
mw.log.warn( message );
};
OO.ui.isMobile = function () {
if ( isMobile === undefined ) {