| Index: branches/REL1_13/phase3/includes/DefaultSettings.php |
| — | — | @@ -31,7 +31,7 @@ |
| 32 | 32 | $wgConf = new SiteConfiguration; |
| 33 | 33 | |
| 34 | 34 | /** MediaWiki version number */ |
| 35 | | -$wgVersion = '1.13.4'; |
| | 35 | +$wgVersion = '1.13.5'; |
| 36 | 36 | |
| 37 | 37 | /** Name of the site. It must be changed in LocalSettings.php */ |
| 38 | 38 | $wgSitename = 'MediaWiki'; |
| Index: branches/REL1_13/phase3/RELEASE-NOTES |
| — | — | @@ -4,6 +4,8 @@ |
| 5 | 5 | |
| 6 | 6 | == MediaWiki 1.13.5 == |
| 7 | 7 | |
| | 8 | +February 22, 2009 |
| | 9 | + |
| 8 | 10 | This is a maintenance update to the Summer 2008 snapshot release of MediaWiki. |
| 9 | 11 | |
| 10 | 12 | MediaWiki is now using a "continuous integration" development model with |