Wikimedia Bugzilla is closed!

In r56269 Aaron removed the show/hide revision delete from the history page, as it was a redundant implementation. I kind of like this change. Looking at [[Special:Log]], I see the 'old' history implementation without the current revision delete implementation of the history page. I think it would be a good idea to have the implementation of revision delete on Special:Log work that same way as on the history page, both for consistency reasons (look the same everywhere) as for convenience (it's a time saver to be able to easily hide multiple revisions from a simple selection).