| Index: branches/REL1_5/phase3/includes/DefaultSettings.php |
| — | — | @@ -28,7 +28,7 @@ |
| 29 | 29 | $wgConf = new SiteConfiguration; |
| 30 | 30 | |
| 31 | 31 | /** MediaWiki version number */ |
| 32 | | -$wgVersion = '1.5.2'; |
| | 32 | +$wgVersion = '1.5.3'; |
| 33 | 33 | |
| 34 | 34 | /** Name of the site. It must be changed in LocalSettings.php */ |
| 35 | 35 | $wgSitename = 'MediaWiki'; |