// load the external wikEdDiff script if not already done
WED if ( ('wikEd.config.loadDiff', == true) && (wikEd.configexternalScripts['wikEdDiff.loadDiffjs'] == null); ) {
if (typeof(wikEd.Diff) == 'undefined') { WED(2);▼
WED('wikEd.externalScripts[\'wikEdDiff.js\']', wikEd.externalScripts['wikEdDiff.js']);
WED('wikEd.externalScripts[\'wikEdDiff.js\'] == null', wikEd.externalScripts['wikEdDiff.js'] == null);
WED('typeof(wikEd.Diff)', typeof(wikEd.Diff));
WED('wikEd.config.diffSrc', wikEd.config.diffSrc);
if ( (wikEd.config.loadDiff == true) && (wikEd.externalScripts['wikEdDiff.js'] == null) ) {WED(1);
▲ if (typeof(wikEd.Diff) == 'undefined') {WED(2);
wikEd.AppendScript(wikEd.config.diffSrc);
}
wikEd.AppendScript = function(scriptUrl, onLoadFunction) {
WED('scriptUrl', scriptUrl);
WED('onLoadFunction', onLoadFunction);
WED('typeof(wikEd.head)', typeof(wikEd.head));
var script = document.createElement('script');
script.setAttribute('type', 'text/javascript');
|