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