- Go to https://www.mediawiki.org/wiki/Special:ExtensionDistributor/CheckUser
- Select mediawiki version 1.35 and click the continue button
It tries to open https://extdist.wmflabs.org/dist/extensions/CheckUser-REL1_35-cebf4be.tar.gz but results in a HTTP 404 error
Looking at https://extdist.wmflabs.org/dist/extensions/ there's a file for CheckUser-REL1_35-b8c0dab.tar.gz from 23-Oct-2022 07:05, apparently the failure is very recent.