Thread:Support/MediaWiki:Userrenametool-errorlocked/en/reply (4)

This indeed seems to have been a typo.

✅ in code.