Changed PatchPropertyCommand::execute() API. Rev: server/base_server/module.pike:1.160 Rev: server/base_server/prototypes.pike:1.78 Rev: server/modules/misc/webdav.pike:1.9