Bug 1071033: Variable "$user" will not stay shared at buglist.cgi
r=dkl a=sgreen