“MediaWiki:Gadget-Cat-a-lot.js”的版本间差异

删除39字节 、​ 2020年8月20日 (四) 08:48
无编辑摘要
if ( $( '#cat_a_lot_comment' ).prop( 'checked' ) ) { this.summary = window.prompt( msg( 'edit-question' ), '' ); } // TODO custom pre-value
if ( this.summary !== null ) {
mw.loader.using( [ 'jquery.ui', 'jquery.spinner', 'mediawiki.util' ], function () {
CAL.showProgress();
CAL.getTargetCat( pages, targetcat, mode );
 
// The gadget is not immediately needed, so let the page load normally
window.setTimeout$( function () {
non = mw.config.get( 'wgUserName' );
if ( non ) {
maybeLaunch();
}
}, 400 );
 
/**
16,874

个编辑