Topic on Extension talk:CheckUser

As of https://phabricator.wikimedia.org/rECHU59f3a1f257384b0370cac4f770403eaa12ce7eea in Mar, or time of merge, this requires MediaWiki >=1.41.0. I tried to edit, but this is pulled automatically by a template and i don't want to dig deeper at the moment.

Additionally the repository is not tagged with the version information as suggested by documentation on the page.

Please: update the requirements pulled into the infobox, and/or push tags to the repo with latest compatible version, e.g. compatible-mw-1.35

The required version is not pulled from git. It can be edited in the template parameters. You can download a compatible version for 1.35 if you download the REL1_35 branch of this extension, either from git or from extension distributor.

For reference the extension distributor link is at Special:ExtensionDistributor/CheckUser.