diff options
| author | Tim Starling <tstarling@users.mediawiki.org> | 2008-09-06 15:53:22 +0000 |
|---|---|---|
| committer | Tim Starling <tstarling@users.mediawiki.org> | 2008-09-06 15:53:22 +0000 |
| commit | 24e2932635db3e2ae5c9854204f87c97f279e42a (patch) | |
| tree | b58310230d753b8006a47a6a8991eb678a017c7b | |
| parent | 7563173b4ee7c1da9274d2c0cfefdbf49d349656 (diff) | |
Fix version number1.13.1
Notes
http://mediawiki.org/wiki/Special:Code/MediaWiki/40539
| -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 a30a192d0f6c..bd721fbdb3c3 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'; |