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