[Krydos] GNU diff3 text comparison utility for MediaWiki

[space2018]

Hi,

 

Is it possible for the GNU diff3 text comparison utility to be installed on the Ricky server for PHP 7.2? MediaWiki uses it to optimize concurrent article editing on its platform.

 

Thanks

 

[flazepe]

This support request is being escalated to our root admin.

[Krydos]

Diff3 is already installed on Ricky.

# diff3 --version
diff3 (GNU diffutils) 3.3
Copyright (C) 2013 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Randy Smith.

# which diff3
/usr/bin/diff3

You probably just need to edit LocalSettings.php and set

$wgDiff3 = "/usr/bin/diff3";