Fair enough. Using an external engine that creates diffs and is fairly smart in merging seems indeed by far the most sensible thing to do.
On Mon, Mar 17, 2008 at 7:05 PM, Thomas Dalton thomas.dalton@gmail.com wrote:
On 17/03/2008, Thomas Dalton thomas.dalton@gmail.com wrote:
Hm, I could have sworn I've been in such edit conflicts on ANI. If it happens again, should I file a bugreport on that?
The automatic merging isn't very good, I think that's a known issue. I'm not sure how much it's meant to be able to cope with - I'll take a look at the code.
Ok, it just uses the built in merge function of the external diff program. That should be able to fix any conflict that doesn't have two people editing the same bit of the article. If you're getting conflicts with people editing different sections, there is probably something more going on. If not, then it is a bug, but not a bug with MediaWiki - seems unlikely, though.
WikiEN-l mailing list WikiEN-l@lists.wikimedia.org To unsubscribe from this mailing list, visit: https://lists.wikimedia.org/mailman/listinfo/wikien-l