MediaWiki:Gadget-editConflict.js：修订间差异
imported>=海豚= 创建页面，内容为“(async () => { if (!["edit", "submit"].includes(mw.config.get("wgAction"))) { return; } await mw.loader.using("mw.Api"); mw.loader.using('med…” |
imported>=海豚= 无编辑摘要 |
||
| 第37行： | 第37行： | ||
if (pageid > 0 && result.query.pages[pageid].revisions[0].revid > wgCurRevisionId) { | if (pageid > 0 && result.query.pages[pageid].revisions[0].revid > wgCurRevisionId) { | ||
wpSave.val("存在编辑冲突！"); | wpSave.val("存在编辑冲突！"); | ||
$("body").append(`<div style="background: #3366CC; color: white; text-align: center; padding: .5rem; position: fixed; top: 0; left: 0; right: 0; z-index: 9999;"><p> | $("body").append(`<div style="background: #3366CC; color: white; text-align: center; padding: .5rem; position: fixed; top: 0; left: 0; right: 0; z-index: 9999;"><p>本页面已被他人更改。请复制您的编辑到剪切板，然后刷新页面，比对后重新开始编辑，以避免编辑冲突。</p><p><span id="copyCurrentRawCode" class="mw-ui-button">复制当前编辑内容</span> <span id="showNewestRevisionDiff" class="mw-ui-button">查看最新版本差异</span> <span id="refreshPage" class="mw-ui-button mw-ui-destructive">不保存内容，直接刷新页面（慎重！）</span></div>`); | ||
const pre = $("<pre/>", { | const pre = $("<pre/>", { | ||
css: { | css: { | ||
| 第83行： | 第83行： | ||
}).appendTo("body"); | }).appendTo("body"); | ||
} else { | } else { | ||
wpSave.val(" | wpSave.val("正在提交……"); | ||
editform.submit(); | editform.submit(); | ||
} | } | ||