Hello!
I would like to announce the release of MediaWiki 1.23.17. There was an
issue
in the 1.23.16 release that prevented it from running on PHP 5.3
installations.
Considering the report wasn't very widespread, I'm guessing most people
haven't
been affected yet. If you are, this release will fix it.
Apologies for any issues you may have encountered during your upgrade. The
updated links can be found below:
Full release notes for 1.23.17:
<https://www.mediawiki.org/wiki/Release_notes/1.23>
**********************************************************************
1.23.17
**********************************************************************
Download:
https://releases.wikimedia.org/mediawiki/1.23/mediawiki-1.23.17.tar.gz
Download without bundled extensions:
https://releases.wikimedia.org/mediawiki/1.23/mediawiki-core-1.23.17.tar.gz
Patch to previous version (1.23.16)::
https://releases.wikimedia.org/mediawiki/1.23/mediawiki-1.23.17.patch.gz
GPG signatures:
https://releases.wikimedia.org/mediawiki/1.23/mediawiki-core-1.23.17.tar.gz…
https://releases.wikimedia.org/mediawiki/1.23/mediawiki-1.23.17.tar.gz.sig
https://releases.wikimedia.org/mediawiki/1.23/mediawiki-1.23.17.patch.gz.sig
Public keys:
https://www.mediawiki.org/keys/keys.html
_______________________________________________
MediaWiki announcements mailing list
To unsubscribe, go to:
https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce