Added 'restore dedfault value' button Rev: server/base_server/configuration.pike:1.457 Rev: server/base_server/global_variables.pike:1.75 Rev: server/etc/include/module.h:1.53 Rev: server/etc/modules/Variable.pmod/module.pmod:1.58 Rev: server/modules/configuration/config_tags.pike:1.152