diff options
| author | Tim Starling <tstarling@users.mediawiki.org> | 2008-10-02 17:14:48 +0000 |
|---|---|---|
| committer | Tim Starling <tstarling@users.mediawiki.org> | 2008-10-02 17:14:48 +0000 |
| commit | fbc321636c640fe0f040a8c168105a59d711c361 (patch) | |
| tree | 88a14ffe1c004f1a71fbcd766325ecf6890e8259 | |
| parent | 41323745d55ade49b1d8192789efcf8094103a53 (diff) | |
Fix version number1.12.1
Notes
http://mediawiki.org/wiki/Special:Code/MediaWiki/41546
| -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 4c060d4abf9d..72b6315db92b 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.12.0'; +$wgVersion = '1.12.1'; /** Name of the site. It must be changed in LocalSettings.php */ $wgSitename = 'MediaWiki'; |