Wikimedia Bugzilla is closed!

I installed MediaWiki from SVN on my localhost, and it worked great. Added the Renameuser extension from SVN, and that worked great as well.

However, the default MediaWiki message for renameuser does not link to the new username (i.e. create a red-linked or blue-linked page) when it logs the action, as seen here:
http://en.wikipedia.org/w/index.php?title=Special%3ALog&type=renameuser&user=&page=&year=&month=-1
http://commons.wikimedia.org/w/index.php?title=Special%3ALog&type=renameuser&user=&page=&year=&month=-1

The format appears like this:

* 19:37, 29 April 2008 WikiSysop (Talk | contribs) has renamed [[User:Testuser1]] to "User:Testuser1 (test)" ‎(1 edit. Reason: User request)

when it should be in the format of

* 19:37, 29 April 2008 WikiSysop (Talk | contribs) has renamed [[User:Testuser1]] to "[[User:Testuser1 (test)]]" ‎(1 edit. Reason: User request)

What files in the actual SpecialRenameuser.php or associated files would have to be edited to ensure that the actual wikilink works - as it currently doesn't seem to do so at the moment.

Thanks, AP