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