1.29.1/php/PHPVersionCheck_8php_source.html

<?php

// @codingStandardsIgnoreFile Generic.Arrays.DisallowLongArraySyntax

// @codingStandardsIgnoreFile Generic.Files.LineLength

// @codingStandardsIgnoreFile MediaWiki.Usage.DirUsage.FunctionFound

class PHPVersionCheck {

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

    var $mwVersion = '1.29';

    /* @var string The minimum php version for MediaWiki to run */

    var $minimumVersionPHP = '5.5.9';

    var $functionsExtensionsMapping = array(

        'mb_substr'   => 'mbstring',

        'utf8_encode' => 'xml',

        'ctype_digit' => 'ctype',

        'json_decode' => 'json',

        'iconv'       => 'iconv',

    );


    var $entryPoint = null;


    function setEntryPoint( $entryPoint ) {

        $this->entryPoint = $entryPoint;

    }


    function getPHPImplVersion() {

        return PHP_VERSION;

    }


    function checkRequiredPHPVersion() {

        if (

            !function_exists( 'version_compare' )

            || version_compare( $this->getPHPImplVersion(), $this->minimumVersionPHP ) < 0

        ) {

            $shortText = "MediaWiki $this->mwVersion requires at least PHP version"

                . " $this->minimumVersionPHP, you are using PHP {$this->getPHPImplVersion()}.";


            $longText = "Error: You might be using on older PHP version. \n"

                . "MediaWiki $this->mwVersion needs PHP $this->minimumVersionPHP or higher.\n\n"

                . "Check if you have a newer php executable with a different name, "

                . "such as php5.\n\n";


            $longHtml = <<<HTML

            Please consider <a href="http://www.php.net/downloads.php">upgrading your copy of PHP</a>.

            PHP versions less than 5.5.0 are no longer supported by the PHP Group and will not receive

            security or bugfix updates.

        </p>

        <p>

            If for some reason you are unable to upgrade your PHP 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 PHP.

HTML;

            $this->triggerError( 'Supported PHP 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.";


            $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;


            $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();

}