Merge "Convert article delete to use OOUI"

[lhc/web/wiklou.git] / includes / MediaWikiVersionFetcher.php

diff --git a/includes/MediaWikiVersionFetcher.php b/includes/MediaWikiVersionFetcher.php
index 1d59ec3..913ae9a 100644 (file)
--- a/includes/MediaWikiVersionFetcher.php
+++ b/includes/MediaWikiVersionFetcher.php
@@ -4,7 +4,6 @@
  * 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 {
@@ -18,8 +17,8 @@ class MediaWikiVersionFetcher {
        public function fetchVersion() {
                $defaultSettings = file_get_contents( __DIR__ . '/DefaultSettings.php' );
 
-               $matches = array();
-               preg_match( "/wgVersion = '([0-9a-zA-Z\.]+)';/", $defaultSettings, $matches );
+               $matches = [];
+               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' );
@@ -28,4 +27,4 @@ class MediaWikiVersionFetcher {
                return $matches[1];
        }
 
-}
\ No newline at end of file
+}