wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-26 19:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Check for the two revision IDs returned by the server being different

Browse source 
With RESTbase we'll be able to retry the older one, but right now we have to do
both with the same request.

This commit retries loading once, then starts emitting errors.

Bug: T92993
Change-Id: Ifbf44b777279dafbe31ab438838d70acd44de726
This commit is contained in:
Alex Monk 2015-03-20 03:48:55 +00:00 committed by Catrope
parent 8f012e76ce
commit 9019f02130
1 changed files with 21 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
modules/ve-mw/init/ve.init.mw.Target.js
View file

@ -301,7 +301,7 @@ ve.init.mw.Target.static.fixBase = function ( targetDoc, sourceDoc ) {
* @fires loadError
*/
ve.init.mw.Target.onLoad = function ( response ) {
var i, len, linkData,
var i, len, linkData, aboutDoc, docRevId,
data = response ? response.visualeditor : null;
if ( typeof data.content !== 'string' ) {
@ -335,6 +335,26 @@ ve.init.mw.Target.onLoad = function ( response ) {
this.startTimeStamp = data.starttimestamp;
this.revid = data.oldid;
aboutDoc = this.doc.children[0].getAttribute( 'about' );
docRevId = aboutDoc.match( /revision\/([0-9]*)$/ )[1];
if ( Number.parseInt( docRevId ) !== this.revid ) {
if ( this.retriedRevIdConflict ) {
// Retried already, just error the second time.
ve.init.mw.Target.onLoadError.call(
this,
've-api',
'Revision IDs (doc=' + docRevId + ',api=' + this.revid + ') ' +
'returned by server do not match'
);
} else {
this.retriedRevIdConflict = true;
// Have to retry both until we can access the document server directly...
this.loading = false;
this.load();
}
return;
}
// Populate link cache
if ( data.links ) {
// Format from the API: { missing: [titles], extant: true|[titles] }