« 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▼
▲// 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>');
}
| |||