diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2007-02-05 10:49:51 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2007-02-05 10:49:51 +0000 |
commit | c39aeb62f7e8dfb6ba6467beb2d9d6f97fd84959 (patch) | |
tree | 187c3b0b29a4baf4a6e23b053abf8a94ee62e085 /includes/DefaultSettings.php | |
parent | 471fc27fc958b3495b92057c88eb4b8f75792f88 (diff) |
Aktualisierung auf MediaWiki 1.9.2
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 3790be87..df1b9d55 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.1'; +$wgVersion = '1.9.2'; /** Name of the site. It must be changed in LocalSettings.php */ $wgSitename = 'MediaWiki'; @@ -1096,7 +1096,7 @@ $wgCacheEpoch = '20030516000000'; * to ensure that client-side caches don't keep obsolete copies of global * styles. */ -$wgStyleVersion = '42a'; +$wgStyleVersion = '42b'; # Server-side caching: |