diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2007-01-09 08:56:46 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2007-01-09 08:56:46 +0000 |
commit | 20194986f6638233732ba1fc3e838f117d3cc9ea (patch) | |
tree | 353069cf5ac40f4888eb24e146bda2e6243e8c75 /includes/DefaultSettings.php | |
parent | 56136136149363e23034a5e56df3bf69cefe7631 (diff) |
Aktualisierung auf MediaWiki 1.8.3
Diffstat (limited to 'includes/DefaultSettings.php')
-rw-r--r-- | includes/DefaultSettings.php | 2 |
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'; |