On Thu, Mar 6, 2008 at 2:43 AM, DanTMan <dan_the_man(a)telus.net> wrote:
So, we have two options:
A) Hack up User.php to use getDBkey and replaces _'s with spaces instead
of getText.
In particular, of course, using some nice User method that hides the
ugly conversion in one place.
B) Make use of getDBkey for identification of the
user and have the
update script refactor the users table to use underscores like it should
instead of spaces.
The idea of having separate normalized/display names makes as much
sense for users as for titles, certainly. This seems like the more
logical option. It's not like we aren't going to have be doing
rebuilding and repopulating of the page table to do this anyway, so
why not the user table too?