0b7295a5cd
Mostly just narrower array types. A handful of other errors fixed. Change-Id: Ied79d9e389867911bf83696dbb47f43305f8be7b
26 lines
633 B
PHP
26 lines
633 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Diff\Hook;
|
|
|
|
use Revision;
|
|
use User;
|
|
|
|
/**
|
|
* @stable for implementation
|
|
* @ingroup Hooks
|
|
*/
|
|
interface DiffRevisionToolsHook {
|
|
/**
|
|
* Use this hook to override or extend the revision tools available from the
|
|
* diff view, i.e. undo, etc.
|
|
*
|
|
* @since 1.35
|
|
*
|
|
* @param Revision $newRev New revision
|
|
* @param string[] &$links Array of HTML links
|
|
* @param Revision|null $oldRev Old revision (may be null)
|
|
* @param User $user Current user
|
|
* @return bool|void True or no return value to continue or false to abort
|
|
*/
|
|
public function onDiffRevisionTools( $newRev, &$links, $oldRev, $user );
|
|
}
|