Hi, since upgrading to mediawiki 1.31 we are noticing that the imported> prefix is being added to the username fields (ui)
I am using mediawiki 1.31 and php 7.2
Hi, since upgrading to mediawiki 1.31 we are noticing that the imported> prefix is being added to the username fields (ui)
I am using mediawiki 1.31 and php 7.2
Possibly related to https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/386625/ ? And it might actually be a feature, not a bug
Yep, this is correct behaviour. The idea is that when importing from another wiki, the usernames do not relate to users on your wiki, so they are distinguished with this prefix.
Is this causing problems for you (i.e. are you importing from your wiki to itself, or something)?
We are importing from a import a user gave us to import. Just found that import> prefix to be weird.
OK. This behaviour is by design, so I'm going to close this task.
Note that if you're using importDump.php to import the pages, you are supposed to be able to change the user prefix that gets used (this is currently broken though, see T200138).