* Hide the 'Update' button in wiki diffs when JavaScript is available
* Preserve the query string parameters in the URL after changing diff options
Authored by: cmlenz 2004-10-15
Parent: [r949]
Child: [r951]
