From ecdd1a34bef120d6ddd6ff3e4e37faecc1bfb922 Mon Sep 17 00:00:00 2001
From: samtar <starling-ctr@wikimedia.org>
Date: Tue, 27 Jun 2023 13:47:37 +0100
Subject: [PATCH] SpecialVersion: Add wikidiff2 version to SoftwareInformation

If wikidiff2 is an installed PHP module, show the wikidiff2
version in the `mw-version-software` section of Special:Version

Bug: T339915
Change-Id: I8895075ff01480c4ce3de646ef0a07c28515cb79
---
 includes/specials/SpecialVersion.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/includes/specials/SpecialVersion.php b/includes/specials/SpecialVersion.php
index b3163210dbe..16b3f1c8f74 100644
--- a/includes/specials/SpecialVersion.php
+++ b/includes/specials/SpecialVersion.php
@@ -340,6 +340,11 @@ class SpecialVersion extends SpecialPage {
 			$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.
 		$this->getHookRunner()->onSoftwareInfo( $software );