From c1f9b1f7b1b77776192048005dcc66dcf3df2bfb Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Sat, 27 Dec 2014 15:41:37 +0100
Subject: Update to MediaWiki 1.24.1

---
 includes/MediaWikiVersionFetcher.php | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 includes/MediaWikiVersionFetcher.php

(limited to 'includes/MediaWikiVersionFetcher.php')

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];
+	}
+
+}
-- 
cgit v1.2.2