« MediaWiki:Common.js » : différence entre les versions
(Chargement du script avec setTimeout.) |
(Augmentation du délai de chargement de mermaid) |
||
Ligne 9 : | Ligne 9 : | ||
var config = mw.config.get( 'mermaid' ); | var config = mw.config.get( 'mermaid' ); | ||
mw.loader.using( [ 'mediawiki.api', 'ext.mermaid', 'ext.mermaid.theme.' + config.theme ] ); | mw.loader.using( [ 'mediawiki.api', 'ext.mermaid', 'ext.mermaid.theme.' + config.theme ] ); | ||
}, | }, 3000); | ||
} | } |
Version du 1 août 2020 à 07:10
/* Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. */
mw.loader.load( '/index.php?title=MediaWiki:Welcome-modal-dialog.js&action=raw&ctype=text/javascript' );
// Mermaid does not seem to load in talk namespaces. This script forces it.
if(mw.config.get('wgNamespaceNumber') % 2 && $('.ext-mermaid').length)
{
setTimeout(function() {
var config = mw.config.get( 'mermaid' );
mw.loader.using( [ 'mediawiki.api', 'ext.mermaid', 'ext.mermaid.theme.' + config.theme ] );
}, 3000);
}