MediaWiki REL1_37
DiffToolsHook.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\Diff\Hook;
4
7
15interface DiffToolsHook {
28 public function onDiffTools( $newRevRecord, &$links, $oldRevRecord, $userIdentity );
29}
Page revision base class.
This is a hook handler interface, see docs/Hooks.md.
onDiffTools( $newRevRecord, &$links, $oldRevRecord, $userIdentity)
Use this hook to override or extend the revision tools available from the diff view,...
Interface for objects representing user identity.