Revert r78000 (removing PHP version from environment checks), never got a chance...

diff --git a/includes/installer/Installer.i18n.php b/includes/installer/Installer.i18n.php
index a7edc3b..7ff94ba 100644 (file)
--- a/includes/installer/Installer.i18n.php
+++ b/includes/installer/Installer.i18n.php
@@ -83,6 +83,7 @@ You should have received <doclink href=Copying>a copy of the GNU General Public
 You can install MediaWiki.',
        'config-env-bad'                  => 'The environment has been checked.
 You cannot install MediaWiki.',
+       'config-env-php'                  => 'PHP $1 is installed.',
        'config-unicode-using-utf8'       => 'Using Brion Vibber\'s utf8_normalize.so for Unicode normalization.',
        'config-unicode-using-intl'       => 'Using the [http://pecl.php.net/intl intl PECL extension] for Unicode normalization.',
        'config-unicode-pure-php-warning' => "'''Warning''': The [http://pecl.php.net/intl intl PECL extension] is not available to handle Unicode normalization, falling back to slow pure-PHP implementation.

diff --git a/includes/installer/Installer.php b/includes/installer/Installer.php
index f54ab24..497bc85 100644 (file)
--- a/includes/installer/Installer.php
+++ b/includes/installer/Installer.php
@@ -142,6 +142,8 @@ abstract class Installer {
         * @return Status
         */
        public function doEnvironmentChecks() {
+               $this->showMessage( 'config-env-php', phpversion() );
+
                $good = true;
 
                foreach ( $this->envChecks as $check ) {