MediaWiki master
HistoryToolsHook.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\Hook;
4
7
29 public function onHistoryTools( $revRecord, &$links, $prevRevRecord, $userIdentity );
30}
Page revision base class.
This is a hook handler interface, see docs/Hooks.md.
onHistoryTools( $revRecord, &$links, $prevRevRecord, $userIdentity)
Use this hook to override or extend the revision tools available from the page history view,...
Interface for objects representing user identity.