diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2008-09-06 22:50:34 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2008-09-06 22:50:34 +0200 |
commit | 24c464c9ee15b0d204c41fcd212975ebc7864904 (patch) | |
tree | acc6d8db225ed165010993fe0f11884411dc264d /includes/DefaultSettings.php | |
parent | 5521bad534edbcfca285393e36a6a94a3f1be9bf (diff) |
Aktualisierung auf 1.13.1
Diffstat (limited to 'includes/DefaultSettings.php')
-rw-r--r-- | includes/DefaultSettings.php | 4 |
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', |