2020-06-18 13:20:49 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
|
|
namespace MediaWiki\Diff\Hook;
|
|
|
|
|
|
|
|
|
|
use DifferenceEngine;
|
|
|
|
|
|
|
|
|
|
/**
|
2020-09-26 13:18:43 +00:00
|
|
|
* This is a hook handler interface, see docs/Hooks.md.
|
|
|
|
|
* Use the hook name "DifferenceEngineViewHeader" to register handlers implementing this interface.
|
|
|
|
|
*
|
2020-07-13 09:05:49 +00:00
|
|
|
* @stable to implement
|
2020-06-18 13:20:49 +00:00
|
|
|
* @ingroup Hooks
|
|
|
|
|
*/
|
|
|
|
|
interface DifferenceEngineViewHeaderHook {
|
|
|
|
|
/**
|
|
|
|
|
* This hook is called before diff display.
|
|
|
|
|
*
|
|
|
|
|
* @since 1.35
|
|
|
|
|
*
|
|
|
|
|
* @param DifferenceEngine $differenceEngine
|
|
|
|
|
* @return bool|void True or no return value to continue or false to abort
|
|
|
|
|
*/
|
|
|
|
|
public function onDifferenceEngineViewHeader( $differenceEngine );
|
|
|
|
|
}
|