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