Add back 'update' key to fix changing diff options in wiki. Closes #1643.
Authored by: cmlenz 2005-06-07
Parent: [r1768]
Child: [r1770]