On my Mediawiki install, I cannot compare versions. The "(Difference between revisions)" page shows only the latest version.
I checked that I do have diff:
~# which diff /usr/bin/diff
~# which diff3 /usr/bin/diff3
~# grep diff /etc/mediawiki/LocalSettings.php # Path to the GNU diff3 utility. Used for conflict resolution. $wgDiff3 = "/usr/bin/diff3";
I also added
$wgDiff = "/usr/bin/diff";
to LocalSettings.php.
This is Mediawiki version 1.19.20+dfsg-2.3 on Debian Jessie.
After turning on debugging, I see this:
wfShellExec: 'wikidiff2' '/tmp/diff_N41UBc' '/tmp/diff_HtzBTH' Possibly missing executable file: 'wikidiff2' '/tmp/diff_N41UBc' '/tmp/diff_HtzBTH'
Indeed, I have no such executable. But "apt-cache search wikidiff2" shows only "php-wikidiff2", which is installed.
~# apt-cache search wikidiff2 php-wikidiff2 - external diff engine for mediawiki
So, would someone know what is wrong, or where to look for more clues?
mediawiki-l@lists.wikimedia.org