A form processing extension for webink