// 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 );
} );
}