- From: <bugzilla@jessica.w3.org>
- Date: Tue, 09 Oct 2012 14:14:48 +0000
- To: public-webplatform-bugs@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19389
Alex Komoroske <komoroske@google.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |komoroske@google.com
--- Comment #1 from Alex Komoroske <komoroske@google.com> 2012-10-09 14:14:48 UTC ---
Disallowing other folks from editing an article if someone else has it open
doesn't work because what happens if someone opens an article for editing and
then goes on a vacation?
Generally MediaWiki actually does a pretty reasonable job of helping you with
merge conflicts when editing. For some reason it appears to be broken--we've
seen it in practice before on webplatform.org, so it USED to work.
--
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Tuesday, 9 October 2012 14:14:49 UTC