wikEd与wikiEdDiff

Arch 主题相关 维基
9

由于wikEd与Wiki Monkey冲突，所以我现在只使用其中一部分：wikEdDiff，这是一个增强的diff

启用方法：在User:用户名/common.js添加：

window.wikEdConfig = {};
wikEdConfig.diffScriptSrc = 'https://r.nichi.co/https:/en.wikipedia.org/w/index.php?title=User%3ACacycle%2Fdiff.js&action=raw&ctype=text%2Fjavascript';

// install [[w:User:Cacycle/wikEdDiff]] enhanced diff
mw.loader.load('https://r.nichi.co/https:/en.wikipedia.org/w/index.php?title=User%3ACacycle%2FwikEdDiff.js&action=raw&ctype=text%2Fjavascript');

如果翻墙软件不好用就用这个，好用就用：

mw.loader.load('//en.wikipedia.org/w/index.php?title=User:Cacycle/wikEdDiff.js&action=raw&ctype=text/javascript');

就可以了

wikEdDiff是可配置的，这是我的：

common.js：

// customization of the diff library: https://en.wikipedia.org/wiki/User:Cacycle/diff#Customization
var wikEdDiffConfig; if (wikEdDiffConfig === undefined) { wikEdDiffConfig = {}; }
wikEdDiffConfig.coloredBlocks = true;

// Find clip position: characters from right
wikEdDiffConfig.clipHeadingLeft      = 1000;
wikEdDiffConfig.clipParagraphLeftMax = 1000;
wikEdDiffConfig.clipParagraphLeftMin =  500;
wikEdDiffConfig.clipLineLeftMax      = 1000;
wikEdDiffConfig.clipLineLeftMin      =  500;
wikEdDiffConfig.clipBlankLeftMax     = 1000;
wikEdDiffConfig.clipBlankLeftMin     =  500;
wikEdDiffConfig.clipCharsLeft        =  500;

// Find clip position: characters from right
wikEdDiffConfig.clipHeadingRight      = 1000;
wikEdDiffConfig.clipParagraphRightMax = 1000;
wikEdDiffConfig.clipParagraphRightMin =  500;
wikEdDiffConfig.clipLineRightMax      = 1000;
wikEdDiffConfig.clipLineRightMin      =  500;
wikEdDiffConfig.clipBlankRightMax     = 1000;
wikEdDiffConfig.clipBlankRightMin     =  500;
wikEdDiffConfig.clipCharsRight        =  500;

// Skip clipping if ranges are too close
wikEdDiffConfig.clipSkipLines = 5;
wikEdDiffConfig.clipSkipChars = 250;

common.css：

/* wikEdDiff customization */
div.wikEdDiffDiv {
    border: 1px solid #2f6fab;
}
div.wikEdDiffSeparator {
    border-bottom: 1px solid lightgray;
    box-shadow: 0px 0px 0.5em 1px lightgray;
    margin: 0.5em 0em;
}
pre.wikEdDiffFragment,
div.wikEdDiffNoChange
{
    border-width: 0px;
    margin: 0px;
    box-shadow: 0px 0px 0px 0px gray;
    background: white;
}

（从Lahwaacz那里复制过来的）