「MediaWiki:Gadget-PrettyDiff.js」の版間の差分
ライブプレビューの差分で最初の1回しか動作しない問題の修正 |
編集の要約なし |
||
| 1行目: | 1行目: | ||
var DMP_JS_URL = ' | var DMP_JS_URL = 'https://cdnjs.cloudflare.com/ajax/libs/diff_match_patch/20121119/diff_match_patch.js'; | ||
function diff_prettyHtml(a) { | function diff_prettyHtml(a) { | ||