Clean up the history radio button handler a little bit in case someone does
authorBrion Vibber <brion@users.mediawiki.org>
Thu, 16 Mar 2006 01:34:07 +0000 (01:34 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Thu, 16 Mar 2006 01:34:07 +0000 (01:34 +0000)
commite07ea3eb41cfa3fb14512bd31168b270acb7ec13
tree64ff92b4f8b2244319f88a17109902f6fc6f6c58
parent129f094a6ffc8aff583404c647a6524944bc0028
Clean up the history radio button handler a little bit in case someone does
something silly like trying to put other buttons or check boxes in there.
It'll now only operate on the oldid and diff bits; also it uses local
variables instead of globals (yecch).
skins/common/wikibits.js