MediaWikiVersionFetcher.php

Go to the documentation of this file.

<?php
 
class MediaWikiVersionFetcher {
 
    public function fetchVersion() {
        $defaultSettings = file_get_contents( __DIR__ . '/DefaultSettings.php' );
 
        $matches = array();
        preg_match( "/wgVersion = '([-0-9a-zA-Z\.]+)';/", $defaultSettings, $matches );
 
        if ( count( $matches ) !== 2 ) {
            throw new RuntimeException( 'Could not extract the MediaWiki version from DefaultSettings.php' );
        }
 
        return $matches[1];
    }
 
}