diff options
Diffstat (limited to 'www/wiki/resources/src/oojs-ui-local.js')
| -rw-r--r-- | www/wiki/resources/src/oojs-ui-local.js | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/www/wiki/resources/src/oojs-ui-local.js b/www/wiki/resources/src/oojs-ui-local.js new file mode 100644 index 00000000..0c65512b --- /dev/null +++ b/www/wiki/resources/src/oojs-ui-local.js @@ -0,0 +1,17 @@ +( function ( mw ) { + var isMobile; + // Connect OOUI to MediaWiki's localisation system + OO.ui.getUserLanguages = mw.language.getFallbackLanguageChain; + OO.ui.msg = mw.msg; + // 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; + }; +}( mediaWiki ) ); |