1.31.0/php/PHPVersionCheck_8php_source.html

<?php

// phpcs:disable Generic.Arrays.DisallowLongArraySyntax,PSR2.Classes.PropertyDeclaration,MediaWiki.Usage.DirUsage

class PHPVersionCheck {

    /* @var string The number of the MediaWiki version used */

    var $mwVersion = '1.31';

    var $functionsExtensionsMapping = array(

        'mb_substr'   => 'mbstring',

        'xml_parser_create' => 'xml',

        'ctype_digit' => 'ctype',

        'json_decode' => 'json',

        'iconv'       => 'iconv',

        'mime_content_type' => 'fileinfo',

    );


    var $entryPoint = null;


    function setEntryPoint( $entryPoint ) {

        $this->entryPoint = $entryPoint;

    }


    function getPHPInfo( $impl = false ) {

        if (

            ( defined( 'HHVM_VERSION' ) && $impl !== 'PHP' ) ||

            $impl === 'HHVM'

        ) {

            return array(

                'implementation' => 'HHVM',

                'version' => defined( 'HHVM_VERSION' ) ? HHVM_VERSION : 'undefined',

                'vendor' => 'Facebook',

                'upstreamSupported' => '3.18.5',

                'minSupported' => '3.18.5',

                'upgradeURL' => 'https://docs.hhvm.com/hhvm/installation/introduction',

            );

        }

        return array(

            'implementation' => 'PHP',

            'version' => PHP_VERSION,

            'vendor' => 'the PHP Group',

            'upstreamSupported' => '5.6.0',

            'minSupported' => '7.0.0',

            'upgradeURL' => 'https://secure.php.net/downloads.php',

        );

    }


    function checkRequiredPHPVersion() {

        $phpInfo = $this->getPHPInfo();

        $minimumVersion = $phpInfo['minSupported'];

        $otherInfo = $this->getPHPInfo( $phpInfo['implementation'] === 'HHVM' ? 'PHP' : 'HHVM' );

        if (

            !function_exists( 'version_compare' )

            || version_compare( $phpInfo['version'], $minimumVersion ) < 0

        ) {

            $shortText = "MediaWiki $this->mwVersion requires at least {$phpInfo['implementation']}"

                . " version $minimumVersion or {$otherInfo['implementation']} version "

                . "{$otherInfo['minSupported']}, you are using {$phpInfo['implementation']} "

                . "{$phpInfo['version']}.";


            $longText = "Error: You might be using an older {$phpInfo['implementation']} version "

                . "({$phpInfo['implementation']} {$phpInfo['version']}). \n"

                . "MediaWiki $this->mwVersion needs {$phpInfo['implementation']}"

                . " $minimumVersion or higher or {$otherInfo['implementation']} version "

                . "{$otherInfo['minSupported']}.\n\nCheck if you have a"

                . " newer php executable with a different name.\n\n";


            // phpcs:disable Generic.Files.LineLength

            $longHtml = <<<HTML

            Please consider <a href="{$phpInfo['upgradeURL']}">upgrading your copy of

            {$phpInfo['implementation']}</a>.

            {$phpInfo['implementation']} versions less than {$phpInfo['upstreamSupported']} are no

            longer supported by {$phpInfo['vendor']} and will not receive

            security or bugfix updates.

        </p>

        <p>

            If for some reason you are unable to upgrade your {$phpInfo['implementation']} version,

            you will need to <a href="https://www.mediawiki.org/wiki/Download">download</a> an

            older version of MediaWiki from our website.

            See our<a href="https://www.mediawiki.org/wiki/Compatibility#PHP">compatibility page</a>

            for details of which versions are compatible with prior versions of {$phpInfo['implementation']}.

HTML;

            // phpcs:enable Generic.Files.LineLength

            $this->triggerError(

                "Supported {$phpInfo['implementation']} versions",

                $shortText,

                $longText,

                $longHtml

            );

        }

    }


    function checkVendorExistence() {

        if ( !file_exists( dirname( __FILE__ ) . '/../vendor/autoload.php' ) ) {

            $shortText = "Installing some external dependencies (e.g. via composer) is required.";


            $longText = "Error: You are missing some external dependencies. \n"

                . "MediaWiki now also has some external dependencies that need to be installed\n"

                . "via composer or from a separate git repo. Please see\n"

                . "https://www.mediawiki.org/wiki/Download_from_Git#Fetch_external_libraries\n"

                . "for help on installing the required components.";


            // phpcs:disable Generic.Files.LineLength

            $longHtml = <<<HTML

        MediaWiki now also has some external dependencies that need to be installed via

        composer or from a separate git repo. Please see

        <a href="https://www.mediawiki.org/wiki/Download_from_Git#Fetch_external_libraries">mediawiki.org</a>

        for help on installing the required components.

HTML;

            // phpcs:enable Generic.Files.LineLength


            $this->triggerError( 'External dependencies', $shortText, $longText, $longHtml );

        }

    }


    function checkExtensionExistence() {

        $missingExtensions = array();

        foreach ( $this->functionsExtensionsMapping as $function => $extension ) {

            if ( !function_exists( $function ) ) {

                $missingExtensions[] = $extension;

            }

        }


        if ( $missingExtensions ) {

            $shortText = "Installing some PHP extensions is required.";


            $missingExtText = '';

            $missingExtHtml = '';

            $baseUrl = 'https://secure.php.net';

            foreach ( $missingExtensions as $ext ) {

                $missingExtText .= " * $ext <$baseUrl/$ext>\n";

                $missingExtHtml .= "<li><b>$ext</b> "

                    . "(<a href=\"$baseUrl/$ext\">more information</a>)</li>";

            }


            $cliText = "Error: Missing one or more required components of PHP.\n"

                . "You are missing a required extension to PHP that MediaWiki needs.\n"

                . "Please install:\n" . $missingExtText;


            $longHtml = <<<HTML

        You are missing a required extension to PHP that MediaWiki

        requires to run. Please install:

        <ul>

        $missingExtHtml

        </ul>

HTML;


            $this->triggerError( 'Required components', $shortText, $cliText, $longHtml );

        }

    }


    function outputHTMLHeader() {

        $protocol = isset( $_SERVER['SERVER_PROTOCOL'] ) ? $_SERVER['SERVER_PROTOCOL'] : 'HTTP/1.0';


        header( "$protocol 500 MediaWiki configuration Error" );

        // Don't cache error pages!  They cause no end of trouble...

        header( 'Cache-control: none' );

        header( 'Pragma: no-cache' );

    }


    function getIndexErrorOutput( $title, $longHtml, $shortText ) {

        $pathinfo = pathinfo( $_SERVER['SCRIPT_NAME'] );

        if ( $this->entryPoint == 'mw-config/index.php' ) {

            $dirname = dirname( $pathinfo['dirname'] );

        } else {

            $dirname = $pathinfo['dirname'];

        }

        $encLogo =

            htmlspecialchars( str_replace( '//', '/', $dirname . '/' ) .

                'resources/assets/mediawiki.png' );

        $shortHtml = htmlspecialchars( $shortText );


        header( 'Content-type: text/html; charset=UTF-8' );


        $finalOutput = <<<HTML

<!DOCTYPE html>

<html lang="en" dir="ltr">

    <head>

        <meta charset="UTF-8" />

        <title>MediaWiki {$this->mwVersion}</title>

        <style media='screen'>

            body {

                color: #000;

                background-color: #fff;

                font-family: sans-serif;

                padding: 2em;

                text-align: center;

            }

            p, img, h1, h2, ul  {

                text-align: left;

                margin: 0.5em 0 1em;

            }

            h1 {

                font-size: 120%;

            }

            h2 {

                font-size: 110%;

            }

        </style>

    </head>

    <body>

        <img src="{$encLogo}" alt='The MediaWiki logo' />

        <h1>MediaWiki {$this->mwVersion} internal error</h1>

        <div class='error'>

        <p>

            {$shortHtml}

        </p>

        <h2>{$title}</h2>

        <p>

            {$longHtml}

        </p>

        </div>

    </body>

</html>

HTML;


        return $finalOutput;

    }


    function triggerError( $title, $shortText, $longText, $longHtml ) {

        switch ( $this->entryPoint ) {

            case 'cli':

                $finalOutput = $longText;

                break;

            case 'index.php':

            case 'mw-config/index.php':

                $this->outputHTMLHeader();

                $finalOutput = $this->getIndexErrorOutput( $title, $longHtml, $shortText );

                break;

            case 'load.php':

                $this->outputHTMLHeader();

                $finalOutput = "/* $shortText */";

                break;

            default:

                $this->outputHTMLHeader();

                // Handle everything that's not index.php

                $finalOutput = $shortText;

        }


        echo "$finalOutput\n";

        die( 1 );

    }

}


function wfEntryPointCheck( $entryPoint ) {

    $phpVersionCheck = new PHPVersionCheck();

    $phpVersionCheck->setEntryPoint( $entryPoint );

    $phpVersionCheck->checkRequiredPHPVersion();

    $phpVersionCheck->checkVendorExistence();

    $phpVersionCheck->checkExtensionExistence();

}