Added a $Id$ comment. Rev: server/config_interface/standard/user_form.pike:1.5 Rev: server/modules/configuration/config_userdb.pike:1.51