[TOPF] [MediaWiki-announce] 1.23.17 bugfix release

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.... 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