I believe that's intended – the customization in https://meta.wikimedia.org/wiki/MediaWiki:Checkuser-global-contributions-registered-user-tools should be shown regardless of your language settings (otherwise users with non-English language settings wouldn't see valuable links)

In T428286#11990040, @Johannnes89 wrote:

I believe that's intended – the customization in https://meta.wikimedia.org/wiki/MediaWiki:Checkuser-global-contributions-registered-user-tools should be shown regardless of your language settings (otherwise users with non-English language settings wouldn't see valuable links)

I see, there are indeed also onwiki overrides, in addition to overrides from WikimediaMessages extension.

In this case what are translatable wikimedia- override messages for? Translations for these include the same valuable links, see link to /fr message page above.

So these onwiki overrides include hidden links for stewards. Shouldn't this customization be added in WikimediaMessages extension as well then? Or maybe do something like this onwiki:

{{int:wikimedia-checkuser-global-contributions-registered-user-tools}} <span class="stewardonly"...

so that existing translations weren't ignored?