Added a slightly more user-friendly concurrent wiki editing detection. This also closes #1739.
Authored by: jonas 2005-08-22
Parent: [r2104]
Child: [r2106]