summaryrefslogtreecommitdiff
path: root/includes/DefaultSettings.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2007-01-09 08:56:46 +0000
committerPierre Schmitz <pierre@archlinux.de>2007-01-09 08:56:46 +0000
commit20194986f6638233732ba1fc3e838f117d3cc9ea (patch)
tree353069cf5ac40f4888eb24e146bda2e6243e8c75 /includes/DefaultSettings.php
parent56136136149363e23034a5e56df3bf69cefe7631 (diff)
Aktualisierung auf MediaWiki 1.8.3
Diffstat (limited to 'includes/DefaultSettings.php')
-rw-r--r--includes/DefaultSettings.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 767e551b..ee1ed3a0 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -32,7 +32,7 @@ require_once( 'includes/SiteConfiguration.php' );
$wgConf = new SiteConfiguration;
/** MediaWiki version number */
-$wgVersion = '1.8.2';
+$wgVersion = '1.8.3';
/** Name of the site. It must be changed in LocalSettings.php */
$wgSitename = 'MediaWiki';