I would like to announce the availability of MediaWiki 1.35.13
This fixes an issue identified in the MediaWiki 1.35.13 release. The patch for T341529 was incorrectly back-ported, which would result in an error relating to some diffs.
If you use git tags, 1.35.12 and 1.35.13 are basically identical (bar RELEASE-NOTES and a version bump), due to how the issue was resolved to get the patches through CI.
If you use the tarballs and patches, as the patches are created against the uploaded tarballs (not re-created versions from the git tags), the patch will resolve the issue mentioned above.
********************************************************************** Download: https://releases.wikimedia.org/mediawiki/1.35/mediawiki-1.35.13.tar.gz https://releases.wikimedia.org/mediawiki/1.35/mediawiki-1.35.13.zip
Download without bundled extensions: https://releases.wikimedia.org/mediawiki/1.35/mediawiki-core-1.35.13.tar.gz https://releases.wikimedia.org/mediawiki/1.35/mediawiki-core-1.35.13.zip
Patch to previous version (1.35.12): https://releases.wikimedia.org/mediawiki/1.35/mediawiki-1.35.13.patch.gz https://releases.wikimedia.org/mediawiki/1.35/mediawiki-1.35.13.patch.zip
GPG signatures: https://releases.wikimedia.org/mediawiki/1.35/mediawiki-core-1.35.13.tar.gz.... https://releases.wikimedia.org/mediawiki/1.35/mediawiki-core-1.35.13.zip.sig https://releases.wikimedia.org/mediawiki/1.35/mediawiki-1.35.13.tar.gz.sig https://releases.wikimedia.org/mediawiki/1.35/mediawiki-1.35.13.zip.sig https://releases.wikimedia.org/mediawiki/1.35/mediawiki-1.35.13.patch.gz.sig https://releases.wikimedia.org/mediawiki/1.35/mediawiki-1.35.13.patch.zip.si...
Public keys: https://www.mediawiki.org/keys/keys.html