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

Public keys:
https://www.mediawiki.org/keys/keys.html