1.23.3/php/PHPVersionError_8php_source.html

<?php

function wfPHPVersionError( $type ) {

    $mwVersion = '1.23';

    $minimumVersionPHP = '5.3.2';


    $phpVersion = phpversion();

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

    $message = "MediaWiki $mwVersion requires at least PHP version $minimumVersionPHP, you are using PHP $phpVersion.";

    if ( $type == 'cli' ) {

        $finalOutput = "You are using PHP version $phpVersion but MediaWiki $mwVersion needs PHP $minimumVersionPHP or higher. ABORTING.\n" .

        "Check if you have a newer php executable with a different name, such as php5.\n";

    } elseif ( $type == 'index.php' ) {

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

        $encLogo = htmlspecialchars(

            str_replace( '//', '/', $pathinfo['dirname'] . '/' ) .

            'skins/common/images/mediawiki.png'

        );


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

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

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

        header( 'Cache-control: none' );

        header( 'Pragma: no-cache' );


        $finalOutput = <<<HTML

<!DOCTYPE html>

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

    <head>

        <meta charset="UTF-8" />

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

        <style media='screen'>

            body {

                color: #000;

                background-color: #fff;

                font-family: sans-serif;

                padding: 2em;

                text-align: center;

            }

            p, img, h1 {

                text-align: left;

                margin: 0.5em 0;

            }

            h1 {

                font-size: 120%;

            }

        </style>

    </head>

    <body>

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

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

        <div class='error'>

        <p>

            {$message}

        </p>

        <p>

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

            PHP versions less than 5.3.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.

        </p>

        </div>

    </body>

</html>

HTML;

    // Handle everything that's not index.php

    } else {

        // So nothing thinks this is JS or CSS

        $finalOutput = ( $type == 'load.php' ) ? "/* $message */" : $message;

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

    }

    echo "$finalOutput\n";

    die( 1 );

}