/etc/mediawiki-extensions/extensions-enabled/wikidiff2.php is in php-wikidiff2 0.0.1+svn109581-1ubuntu1.
This file is owned by root:root, with mode 0o777.
It is a symlink to /etc/mediawiki-extensions/extensions-enabled/../extensions-available/wikidiff2.php