---
Ricardo RodrÃguez
Your XEN ICT Team
> Tim
Starling<tstarling(a)wikimedia.org> 22/03/07 6:18 >>>
Make sure you have diff3 installed and correctly set up. >$wgDiff3 should
be set to the path to the binary. This is necessary for >MediaWiki to merge
changes between conflicting edits.
-- Tim Starling
Thanks, Tim.
I've checked LocalSettings.php and there the concerned variable is set up as...
$wgDiff3 = "/usr/bin/diff3";
diff3 is in the correct placed in /usr/bin/diff3.
Please, Tim, how could I test the correct functioning of the utility? What must I expect
of the utility integrated in MediaWiki? Thanks.
All the best,
Ricardo