diff options
Diffstat (limited to 'includes/MediaWikiVersionFetcher.php')
-rw-r--r-- | includes/MediaWikiVersionFetcher.php | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/includes/MediaWikiVersionFetcher.php b/includes/MediaWikiVersionFetcher.php new file mode 100644 index 00000000..439e53f4 --- /dev/null +++ b/includes/MediaWikiVersionFetcher.php @@ -0,0 +1,31 @@ +<?php + +/** + * Provides access to MediaWiki's version without requiring MediaWiki (or anything else) + * being loaded first. + * + * @licence GNU GPL v2+ + * @author Jeroen De Dauw < jeroendedauw@gmail.com > + */ +class MediaWikiVersionFetcher { + + /** + * Returns the MediaWiki version, in the format used by MediaWiki's wgVersion global. + * + * @return string + * @throws RuntimeException + */ + 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]; + } + +} |