Add the possibility to perform a manual merge after a Wiki edit collision has been deleted. Fixes #152.
Authored by: cboos 2007-07-20
Parent: [r5855]
Child: [r5857]