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