After https://gerrit.wikimedia.org/r/c/mediawiki/core/+/867732 the HistoryTools hook now runs in contributions page, recent changes and watchlist as well as the history page.

It should be renamed to ChangeTools to match the new name in I76b8e7

TODO

• Add new hook
• Modify existing callers of HistoryTools to use the new ChangeTools hook
• Deprecate HistoryTools hook

Sign off steps

• Open new tickets for removing the old hook.