[MediaWiki-announce] Maintenance release: MediaWiki 1.38.1

I would like to announce the availability of MediaWiki 1.38.1. This fixes a couple of issues identified in the MediaWiki 1.38.0 release, and I apologise that they weren't caught in the release candidates. Thanks to all the people that reported the composer.lock issues relating to justinrainbow/json-schema not being in the bundled vendor folder. === Changes since MediaWiki 1.38.0 === * (T309860) Add justinrainbow/json-schema to vendor. * (T309933) Drop PHP 7.2 support in MediaWiki 1.38; require 7.3.19. ********************************************************************** Download: https://releases.wikimedia.org/mediawiki/1.38/mediawiki-1.38.1.tar.gz https://releases.wikimedia.org/mediawiki/1.38/mediawiki-1.38.1.zip Download without bundled extensions: https://releases.wikimedia.org/mediawiki/1.38/mediawiki-core-1.38.1.tar.gz https://releases.wikimedia.org/mediawiki/1.38/mediawiki-core-1.38.1.zip Patch to previous version (1.38.0): https://releases.wikimedia.org/mediawiki/1.38/mediawiki-1.38.1.patch.gz https://releases.wikimedia.org/mediawiki/1.38/mediawiki-1.38.1.patch.zip GPG signatures: https://releases.wikimedia.org/mediawiki/1.38/mediawiki-core-1.38.1.tar.gz.… https://releases.wikimedia.org/mediawiki/1.38/mediawiki-core-1.38.1.zip.sig https://releases.wikimedia.org/mediawiki/1.38/mediawiki-1.38.1.tar.gz.sig https://releases.wikimedia.org/mediawiki/1.38/mediawiki-1.38.1.zip.sig https://releases.wikimedia.org/mediawiki/1.38/mediawiki-1.38.1.patch.gz.sig https://releases.wikimedia.org/mediawiki/1.38/mediawiki-1.38.1.patch.zip.sig Public keys: https://www.mediawiki.org/keys/keys.html