Diferencia entre revisiones de «MediaWiki:Common.js»

Revisión actual - 04:56 8 oct 2022

// ocultar mw-pt-translate-header para los anónimos

mw.loader.using( [ 'mediawiki.user' ], function () {
	if ( mw.user.isAnon() === 1 ) {
		mw.util.addCSS( '.mw-pt-translate-header { display: none; }' );
	}
} );

@@ Línea 1: / Línea 1: @@
 // ocultar mw-pt-translate-header para los anónimos
-mw.loader.using( [ 'mediawiki.user' ], function ( ) {
+mw.loader.using( [ 'mediawiki.user' ], function () {
- if ( mw.user.isAnon() == 1 ) {
+ if ( mw.user.isAnon() === 1 ) {
- mw.util.addCSS( '.mw-pt-translate-header {display:none}' );
+ mw.util.addCSS( '.mw-pt-translate-header { display: none; }' );
  }
 } );
-// barra de progreso
-if ( mw.config.get( 'wgPageName' ) === 'Usuario:Hasley/sandbox2' ) {
- $.when( $.ready, mw.loader.using( [ 'oojs-ui' ] ) ).then( function () {
- barId = 1;
- var number = $( '#progress-bar-' + barId ).attr( 'data-id-' + barId );
- var progressBar = new OO.ui.ProgressBarWidget( {
- progress: number
- } );
- progressBar.$element.css({
- borderRadius: '.2rem',
- margin: '0 auto',
- });
- if ( progressBar.progress < 100 ) {
-     progressBar.pushPending();
- }
- $( '#progress-bar-' + barId ).append( progressBar.$element );
- } );
-}