summaryrefslogtreecommitdiff
path: root/includes/MediaWikiVersionFetcher.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2014-12-27 15:41:37 +0100
committerPierre Schmitz <pierre@archlinux.de>2014-12-31 11:43:28 +0100
commitc1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch)
tree2b38796e738dd74cb42ecd9bfd151803108386bc /includes/MediaWikiVersionFetcher.php
parentb88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff)
Update to MediaWiki 1.24.1
Diffstat (limited to 'includes/MediaWikiVersionFetcher.php')
-rw-r--r--includes/MediaWikiVersionFetcher.php31
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];
+ }
+
+}