wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Set a JS config var to force VisualEditor to edit the current version

Browse source 
Rename wgFlaggedRevsEditLatestRevision to wgEditLatestRevision (not use 'VisualEditor' - this config may be used by other editors)

Bug: T338312
Change-Id: I6c9c46774fe197ca7775b65f12e62bb3bcbe53b4
This commit is contained in:
Dringsim 2023-06-07 20:58:08 +08:00 committed by 沈澄心
parent ed3f643642
commit d27825caa1
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ve-mw/init/targets/ve.init.mw.ArticleTarget.js
View file

@ -73,7 +73,7 @@ ve.init.mw.ArticleTarget = function VeInitMwArticleTarget( config ) {
// Sometimes we actually don't want to send a useful oldid // Sometimes we actually don't want to send a useful oldid
// if we do, PostEdit will give us a 'page restored' message // if we do, PostEdit will give us a 'page restored' message
// Use undefined instead of 0 for new documents (T262838) // Use undefined instead of 0 for new documents (T262838)
this.requestedRevId = mw.config.get( 'wgRevisionId' ) || undefined; this.requestedRevId = mw.config.get( 'wgEditLatestRevision' ) ? mw.config.get( 'wgCurRevisionId' ) : mw.config.get( 'wgRevisionId' ) || undefined;
this.currentRevisionId = mw.config.get( 'wgCurRevisionId' ) || undefined; this.currentRevisionId = mw.config.get( 'wgCurRevisionId' ) || undefined;
this.revid = this.requestedRevId || this.currentRevisionId; this.revid = this.requestedRevId || this.currentRevisionId;

4
modules/ve-mw/preinit/ve.init.mw.DesktopArticleTarget.init.js
View file

@ -761,8 +761,8 @@
// T156998: Don't trust 'oldid' query parameter, it'll be wrong if 'diff' or 'direction' // T156998: Don't trust 'oldid' query parameter, it'll be wrong if 'diff' or 'direction'
// is set to 'next' or 'prev'. // is set to 'next' or 'prev'.
oldId = mw.config.get( 'wgRevisionId' ) || $( 'input[name=parentRevId]' ).val(); oldId = mw.config.get( 'wgRevisionId' ) || $( 'input[name=parentRevId]' ).val();
// wgFlaggedRevsEditLatestRevision is set by FlaggedRevs extension when viewing a stable revision // TODO: remove wgFlaggedRevsEditLatestRevision
if ( oldId === mw.config.get( 'wgCurRevisionId' ) || mw.config.get( 'wgFlaggedRevsEditLatestRevision' ) ) { if ( oldId === mw.config.get( 'wgCurRevisionId' ) || mw.config.get( 'wgEditLatestRevision' ) || mw.config.get( 'wgFlaggedRevsEditLatestRevision' ) ) {
// The page may have been edited by someone else after we loaded it, setting this to "undefined" // The page may have been edited by someone else after we loaded it, setting this to "undefined"
// indicates that we should load the actual latest revision. // indicates that we should load the actual latest revision.
oldId = undefined; oldId = undefined;