diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-07-18 09:49:48 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-07-18 09:49:48 +0200 |
| commit | fd12989ef8eab0fc9816decb8bcabccd1d213ee8 (patch) | |
| tree | 68b12cc05704f2181a90d69b898f999309a8c036 /includes/DefaultSettings.php | |
| parent | 1a1c15f5da352895fb32daab8550cb3dca8198ac (diff) | |
auf 1.10.1 aktualisiert
Diffstat (limited to 'includes/DefaultSettings.php')
| -rw-r--r-- | includes/DefaultSettings.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 169d67c9..d9bd3760 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -31,7 +31,7 @@ require_once( 'includes/SiteConfiguration.php' ); $wgConf = new SiteConfiguration; /** MediaWiki version number */ -$wgVersion = '1.10.0'; +$wgVersion = '1.10.1'; /** Name of the site. It must be changed in LocalSettings.php */ $wgSitename = 'MediaWiki'; |