Thijs/wiki.techinc.nl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge "SpecialVersion: Add wikidiff2 version to SoftwareInformation"

Browse source
This commit is contained in:
jenkins-bot 2023-06-29 11:52:31 +00:00 committed by Gerrit Code Review
commit b0ca8694ee
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
includes/specials/SpecialVersion.php
View file

@ -340,6 +340,11 @@ class SpecialVersion extends SpecialPage {
$dbr->getSoftwareLink() => $dbr->getServerInfo(), $dbr->getSoftwareLink() => $dbr->getServerInfo(),
]; ];
// T339915: If wikidiff2 is installed, show version
if ( phpversion( "wikidiff2" ) ) {
$software[ '[https://www.mediawiki.org/wiki/Wikidiff2 wikidiff2]' ] = phpversion( "wikidiff2" );
}
// Allow a hook to add/remove items. // Allow a hook to add/remove items.
$this->getHookRunner()->onSoftwareInfo( $software ); $this->getHookRunner()->onSoftwareInfo( $software );