summaryrefslogtreecommitdiff
path: root/includes/DefaultSettings.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2008-09-06 22:50:34 +0200
committerPierre Schmitz <pierre@archlinux.de>2008-09-06 22:50:34 +0200
commit24c464c9ee15b0d204c41fcd212975ebc7864904 (patch)
treeacc6d8db225ed165010993fe0f11884411dc264d /includes/DefaultSettings.php
parent5521bad534edbcfca285393e36a6a94a3f1be9bf (diff)
Aktualisierung auf 1.13.1
Diffstat (limited to 'includes/DefaultSettings.php')
-rw-r--r--includes/DefaultSettings.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index d6db7030..5b7e7d9d 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -31,7 +31,7 @@ require_once( "$IP/includes/SiteConfiguration.php" );
$wgConf = new SiteConfiguration;
/** MediaWiki version number */
-$wgVersion = '1.13.0';
+$wgVersion = '1.13.1';
/** Name of the site. It must be changed in LocalSettings.php */
$wgSitename = 'MediaWiki';
@@ -2281,7 +2281,7 @@ $wgAutoloadClasses = array();
* $wgExtensionCredits[$type][] = array(
* 'name' => 'Example extension',
* 'version' => 1.9,
- * 'svn-revision' => '$LastChangedRevision: 39340 $',
+ * 'svn-revision' => '$LastChangedRevision: 40539 $',
* 'author' => 'Foo Barstein',
* 'url' => 'http://wwww.example.com/Example%20Extension/',
* 'description' => 'An example extension',