About [[MediaWiki:Configure-setting-wgUserrightsInterwikiDelimiter/pl]]
To be fixed on mw: and then extension, see discussion
Moved to bugzilla:52224.
"Character used as the separator between username and database name on Special:Userrights"?
We're not going to change these doc copies too much. They're quite technical.
I change it on mw: and submitted gerrit change I14f5815a to fix this and other issues in the extension.
Looks promising. I've commented in CR. Btw, we have the interwiki "gerrit" here, which leads to a change set number, like gerrit:12345.
Another useful thing would be to pull the translations from the extension to the wiki. If the extension was enabled locally it could just be a matter of using int: in the config summary template.
I don't think it's a good idea to enable the Configure extension on MediaWiki.org, but this is not the place to discuss that. I propose you take that to mw:.
Yes, I had already mentioned it on mw:Thread:Project:Current_issues/_Project:Translate_extension and I now opened bugzilla:43380.