User:DodoMan/common.js: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 6: | Line 6: | ||
// Ne pas afficher la différence pas défaut | // Ne pas afficher la différence pas défaut | ||
var wikEdDiffPreset = false; | var wikEdDiffPreset = false; | ||
// disable loading for IE, not needed, but might save a few milliseconds | // disable loading for IE, not needed, but might save a few milliseconds | ||
if (navigator.appName != 'Microsoft Internet Explorer') { | if (navigator.appName != 'Microsoft Internet Explorer') { |