MediaWiki  master
MediaWikiVersionFetcher.php
Go to the documentation of this file.
1 <?php
2 
10 
17  public function fetchVersion() {
18  $code = file_get_contents( __DIR__ . '/Defines.php' );
19 
20  $matches = [];
21  preg_match( "/define\‍( 'MW_VERSION', '([^']+)'/", $code, $matches );
22 
23  if ( count( $matches ) !== 2 ) {
24  throw new RuntimeException( 'Could not extract the MediaWiki version from Defines.php' );
25  }
26 
27  return $matches[1];
28  }
29 
30 }
MediaWikiVersionFetcher\fetchVersion
fetchVersion()
Get the MediaWiki version, extracted from the PHP source file where it is defined.
Definition: MediaWikiVersionFetcher.php:17
$matches
$matches
Definition: NoLocalSettings.php:24
MediaWikiVersionFetcher
Provides access to MediaWiki's version without requiring MediaWiki (or anything else) being loaded fi...
Definition: MediaWikiVersionFetcher.php:9