User "ArielGlenn" posted a comment on MediaWiki.r103448. Full URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/103448#c26183 Commit summary:
if user id is 0 and username is actually an IP, write it as <ip>, not <username> Comment: Sold! (Because originally I had not written out the id in the else, I re-added it at the last minute.) Did so in r103582. _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
