« MediaWiki:Gadget-WikEd.js » : différence entre les versions

Contenu supprimé Contenu ajouté
Version locale qui n'introduit pas d'espaces insécables, en attendant la réponse de l'auteur.
document.write n'est pas compatible avec la dernière version de ResourceLoader
Ligne 7 :
 
// disable loading for IE, not needed, but might save a few milliseconds
if ( navigator.appName != 'Microsoft Internet Explorer' ) {
// install [[:en:User:Cacycle/wikEd]] in-browser text editor
document mw.writeloader.load( '<script type="text/javascript" src="//fr.wikipedia.org/w/index.php?title=MediaWiki:Gadget-WikEd.js/local&action=raw&ctype=text/javascript&dontcountme=s"></script>' );
// install [[:en:User:Cacycle/wikEd]] in-browser text editor
document.write('<script type="text/javascript" src="//fr.wikipedia.org/w/index.php?title=MediaWiki:Gadget-WikEd.js/local&action=raw&ctype=text/javascript&dontcountme=s"></script>');
}