MediaWiki REL1_35
HistoryRevisionToolsHook.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\Hook;
4
5use Revision;
6use User;
7
12interface HistoryRevisionToolsHook {
25 public function onHistoryRevisionTools( $rev, &$links, $prevRev, $user );
26}
User
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition User.php:60
MediaWiki\Hook\HistoryRevisionToolsHook\onHistoryRevisionTools
onHistoryRevisionTools( $rev, &$links, $prevRev, $user)
Use this hook to override or extend the revision tools available from the page history view,...