| Index: tags/REL1_13_1/phase3/includes/DefaultSettings.php |
| — | — | @@ -31,7 +31,7 @@ |
| 32 | 32 | $wgConf = new SiteConfiguration; |
| 33 | 33 | |
| 34 | 34 | /** MediaWiki version number */ |
| 35 | | -$wgVersion = '1.13.0'; |
| | 35 | +$wgVersion = '1.13.1'; |
| 36 | 36 | |
| 37 | 37 | /** Name of the site. It must be changed in LocalSettings.php */ |
| 38 | 38 | $wgSitename = 'MediaWiki'; |