Chop off old user prefix if it is used.
It causes confusion for users, otherwise.
Description
Description
Details
Details
- Committed
hexmode Jan 20 2021, 8:20 PM - Pushed
hexmode Jan 20 2021, 8:37 PM - Parents
- R37:20aba6d770e5: Ensure proper casing when completing wiki usernames
- Branches
- Unknown
- Tags