e6e0ad2472
For compliance with the new version of the table interface policy (T255803). This patch was created by an automated search & replace operation on the includes/ directory. Bug: T257789 Change-Id: I17e5e92e24c708ffc846945a136347670a3a20c7
26 lines
719 B
PHP
26 lines
719 B
PHP
<?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 );
|
|
}
|