Extension:EditConflict

From mediawiki.org