0.10-stable branch: Use a separate cookie to store the form_token
value since this is slightly safer and works better with plugins that play with the session/auth cookie.
Authored by: jonas 2006-11-06
Parent: [r4152]
Child: [r4154]
