From 2940512d99c3b613868bb5a3be3743124ed74bae Mon Sep 17 00:00:00 2001
From: gitressa <3491208+gitressa@users.noreply.github.com>
Date: Sat, 20 Aug 2022 14:15:44 +0200
Subject: [PATCH] Add PHP version to core:status (#5212)

---
 src/Commands/core/StatusCommands.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Commands/core/StatusCommands.php b/src/Commands/core/StatusCommands.php
index a4191c5db5..f8018a14ae 100644
--- a/src/Commands/core/StatusCommands.php
+++ b/src/Commands/core/StatusCommands.php
@@ -50,6 +50,7 @@ class StatusCommands extends DrushCommands implements SiteAliasManagerAwareInter
      *   php-bin: PHP binary
      *   php-conf: PHP config
      *   php-os: PHP OS
+     *   php-version: PHP version
      *   drush-script: Drush script
      *   drush-version: Drush version
      *   drush-temp: Drush temp
@@ -70,7 +71,7 @@ class StatusCommands extends DrushCommands implements SiteAliasManagerAwareInter
      *   files-path: Files, Public
      *   temp-path: Files, Temp
      *   %paths: Other paths
-     * @default-fields drupal-version,uri,db-driver,db-hostname,db-port,db-username,db-name,db-status,bootstrap,theme,admin-theme,php-bin,php-conf,php-os,drush-script,drush-version,drush-temp,drush-conf,install-profile,root,site,files,private,temp
+     * @default-fields drupal-version,uri,db-driver,db-hostname,db-port,db-username,db-name,db-status,bootstrap,theme,admin-theme,php-bin,php-conf,php-os,php-version,drush-script,drush-version,drush-temp,drush-conf,install-profile,root,site,files,private,temp
      * @pipe-format json
      * @hidden-options project
      * @bootstrap max
@@ -133,6 +134,7 @@ public function getPropertyList($options): array
         }
         $status_table['php-bin'] = Path::canonicalize(PHP_BINARY);
         $status_table['php-os'] = PHP_OS;
+        $status_table['php-version'] = PHP_VERSION;
         if ($phpIniFiles = EditCommands::phpIniFiles()) {
             $status_table['php-conf'] = array_map('Webmozart\PathUtil\Path::canonicalize', $phpIniFiles);
         }