diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2009-02-09 23:10:10 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2009-02-09 23:10:10 +0100 |
commit | 4fe7385a8edd62dd7d36fedb157f296e5a57002a (patch) | |
tree | d9aef11439d0044d8d8e76ebf3898858bfce789f /includes/DefaultSettings.php | |
parent | de5fed526fb1bc218abe51b166691ebc3bd113b6 (diff) |
updated to 1.13.4
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 cb8bb001..aaf934f5 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.3'; +$wgVersion = '1.13.4'; /** Name of the site. It must be changed in LocalSettings.php */ $wgSitename = 'MediaWiki'; @@ -2290,7 +2290,7 @@ $wgAutoloadClasses = array(); * $wgExtensionCredits[$type][] = array( * 'name' => 'Example extension', * 'version' => 1.9, - * 'svn-revision' => '$LastChangedRevision: 44568 $', + * 'svn-revision' => '$LastChangedRevision: 46957 $', * 'author' => 'Foo Barstein', * 'url' => 'http://wwww.example.com/Example%20Extension/', * 'description' => 'An example extension', |