1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
<?php
namespace MediaWiki\Diff\Hook;
use MediaWiki\Revision\RevisionRecord;
use MediaWiki\User\UserIdentity;
/**
* @stable to implement
* @ingroup Hooks
*/
interface DiffToolsHook {
/**
* Use this hook to override or extend the revision tools available from the
* diff view, i.e. undo, etc.
*
* @since 1.35
*
* @param RevisionRecord $newRevRecord New revision
* @param string[] &$links Array of HTML links
* @param RevisionRecord|null $oldRevRecord Old revision (may be null)
* @param UserIdentity $userIdentity Current user
* @return bool|void True or no return value to continue or false to abort
*/
public function onDiffTools( $newRevRecord, &$links, $oldRevRecord, $userIdentity );
}
|
