Thread:Project:Support desk/ "Someone else has changed this page..." after moving wiki to new server/reply (5)

Hi, thanks again.

The only setting I have is $wgDiff3 = "/usr/bin/diff3"; and is correct. Adding $wgExternalDiffEngine with any of the possible values listed here https://www.mediawiki.org/wiki/Manual:$wgExternalDiffEngine does not seems to make any difference.