Bump to 1.31.0 for final release

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

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 811ac9b..97e27b7 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -71,7 +71,7 @@ $wgConfigRegistry = [
  * MediaWiki version number
  * @since 1.2
  */
  * MediaWiki version number
  * @since 1.2
  */

-$wgVersion = '1.31.0-rc.2';
+$wgVersion = '1.31.0';

 
 /**
  * Name of the site. It must be changed in LocalSettings.php
 
 /**
  * Name of the site. It must be changed in LocalSettings.php