About [[MediaWiki:Configure-setting-wgUserrightsInterwikiDelimiter/pl]]

"Character used as the separator between username and database name on Special:Userrights"?

Matma Rex (talk)21:56, 22 December 2012

We're not going to change these doc copies too much. They're quite technical.

Siebrand23:53, 22 December 2012

I change it on mw: and submitted gerrit change I14f5815a to fix this and other issues in the extension.

Matma Rex (talk)09:58, 24 December 2012

Looks promising. I've commented in CR. Btw, we have the interwiki "gerrit" here, which leads to a change set number, like gerrit:12345.

Siebrand10:12, 24 December 2012

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.

Nemo (talk)11:01, 24 December 2012

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:.

Siebrand11:03, 24 December 2012

Yes, I had already mentioned it on mw:Thread:Project:Current_issues/_Project:Translate_extension and I now opened bugzilla:43380.

Nemo (talk)11:25, 24 December 2012