mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-11 07:16:08 +00:00
550b68cab5
Change-Id: I0c5c5c1291f413241e855471b71b0e88f6de01c7
27 lines
487 B
JavaScript
27 lines
487 B
JavaScript
( function ( mw, $ ) {
|
|
|
|
/**
|
|
* Sugar around `window.setTimeout`.
|
|
*
|
|
* @example
|
|
* function continueProcessing() {
|
|
* // ...
|
|
* }
|
|
*
|
|
* mw.popups.wait( 150 ).then( continueProcessing );
|
|
*
|
|
* @param {Number} delay The number of milliseconds to wait
|
|
* @return {jQuery.Promise}
|
|
*/
|
|
mw.popups.wait = function ( delay ) {
|
|
var result = $.Deferred();
|
|
|
|
setTimeout( function () {
|
|
result.resolve();
|
|
}, delay );
|
|
|
|
return result.promise();
|
|
};
|
|
|
|
}( mediaWiki, jQuery ) );
|