MediaWiki  master
HistoryToolsHook.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Hook;
4 
7 
15 interface HistoryToolsHook {
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.