- Patch #88892 by darthsteven et al: improved the PHPdoc of form_set_value(). Great work. Much better. :)