MediaWiki
master
|
This is a hook handler interface, see docs/Hooks.md. More...
Public Member Functions | |
onHistoryRevisionTools ( $rev, &$links, $prevRev, $user) | |
Use this hook to override or extend the revision tools available from the page history view, i.e. More... | |
This is a hook handler interface, see docs/Hooks.md.
Use the hook name "HistoryRevisionTools" to register handlers implementing this interface.
Definition at line 15 of file HistoryRevisionToolsHook.php.
MediaWiki\Hook\HistoryRevisionToolsHook::onHistoryRevisionTools | ( | $rev, | |
& | $links, | ||
$prevRev, | |||
$user | |||
) |
Use this hook to override or extend the revision tools available from the page history view, i.e.
undo, rollback, etc.
Revision | $rev | |
string[] | &$links | Array of HTML links |
Revision | null | $prevRev | Revision object, next in line in page history, or null |
User | $user | Current user object |
Implemented in MediaWiki\HookContainer\HookRunner.