summaryrefslogtreecommitdiff
path: root/includes/DefaultSettings.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2007-02-21 07:27:15 +0000
committerPierre Schmitz <pierre@archlinux.de>2007-02-21 07:27:15 +0000
commit9ea05545197378466dc3ceee0f55bcd5819264cb (patch)
treedf8f9df6024e0ecd35769152027fb5f6f1dee8e1 /includes/DefaultSettings.php
parentc39aeb62f7e8dfb6ba6467beb2d9d6f97fd84959 (diff)
Aktualisierung auf MediaWiki 1.9.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 df1b9d55..0692401d 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.9.2';
+$wgVersion = '1.9.3';
/** Name of the site. It must be changed in LocalSettings.php */
$wgSitename = 'MediaWiki';