« MediaWiki:Common.js » : différence entre les versions
(Force le loading du module Mermaid sur les pages de discussion) |
(Augmentation du délai de chargement de mermaid) |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 6 : | Ligne 6 : | ||
if(mw.config.get('wgNamespaceNumber') % 2 && $('.ext-mermaid').length) | 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); | |||
} | } | ||
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);
}