On Thu, Mar 6, 2008 at 2:43 AM, DanTMan dan_the_man@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?