https://bugzilla.wikimedia.org/show_bug.cgi?id=39836
Web browser: ---
Bug #: 39836
Summary: Patching after edit conflicts
Product: MediaWiki extensions
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: WikidataRepo
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
Classification: Unclassified
Mobile Platform: ---
When there are a detected edit conflict it is possible to use the base revision
(or a later stored field-specific revision) to generate a diff and then patch
the latest revision with an appropriate applicable diff.
This attempt on patching the entity can be done before or after the collision
detection in "userWasLastToEdit". If the patching is done after the collision
detection it should probably be done early in ApiModifyItem (and similar),
probably before it is necessary to make the decision on which revision to
modify.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
