Force cast to text() in case people have usernames that appear to be ints.
commitf7fbfd95599067c9d933520b569957c9b8625e5d
authorAndrew McMillan <andrew@morphoss.com>
Wed, 12 Oct 2011 21:07:32 +0000 (12 22:07 +0100)
committerAndrew McMillan <andrew@morphoss.com>
Wed, 12 Oct 2011 21:07:32 +0000 (12 22:07 +0100)
tree3234a6c0bf3e0e84ad3ccb96965c861efe26b877
parentedc1a31be4dee4ec8a306eb04260793363f9e9c2
Force cast to text() in case people have usernames that appear to be ints.

Or something else, of course, but in Gdansk it seems int is not unusual,
and I can imagine it isn't unusual in institutional situations.
inc/AuthPlugins.php
inc/Session.php