/etc/mediawiki-extensions/extensions-available/wikidiff2.php is in php-wikidiff2 1.2+git03ea59f-1ubuntu3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 | <?php
$wgExtensionCredits['wikidiff2'][] = array(
'name' => 'Wikidiff2',
'version' => '',
'author' => 'Tim Starling',
'description' => 'external diff engine for MediaWiki',
'url' => 'https://www.mediawiki.org/wiki/Extension:Wikidiff2'
);
$wgExternalDiffEngine = 'wikidiff2';
|