diff options
author | mglaser <glaser@hallowelt.biz> | 2014-04-02 15:07:31 +0200 |
---|---|---|
committer | mglaser <glaser@hallowelt.biz> | 2014-04-02 15:07:31 +0200 |
commit | 647e7c275f7c8fade8fbff4d67a5340d95c6ee24 (patch) | |
tree | 279c4471f6d3c4bfb7a3a1e231f6ad6e9b52c99b | |
parent | 894ce6bc85ddab7e9115bc18ed226ea887e23a9f (diff) |
Updated release notes and version number for MediaWiki 1.19.151.19.15
This is MediaWiki 1.19.15 maintenance release.
Change-Id: I44604d2f173d24ac748cca0886c303415b53c717
-rw-r--r-- | RELEASE-NOTES-1.19 | 1 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/RELEASE-NOTES-1.19 b/RELEASE-NOTES-1.19 index 25539f0e681f..1a3c4753ec8d 100644 --- a/RELEASE-NOTES-1.19 +++ b/RELEASE-NOTES-1.19 @@ -9,6 +9,7 @@ This is a maintenance release of the MediaWiki 1.19 branch. === Changes since 1.19.14 === +* Fixed resetting passwords. * (bug 58640) Fixed a compatibility issue with PCRE 8.34 that caused pages to appear blank or with missing text. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 508c861cf48e..b3f24b37d2e3 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -33,7 +33,7 @@ $wgConf = new SiteConfiguration; /** @endcond */ /** MediaWiki version number */ -$wgVersion = '1.19.14'; +$wgVersion = '1.19.15'; /** Name of the site. It must be changed in LocalSettings.php */ $wgSitename = 'MediaWiki'; |