2020-03-03 22:50:34 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
|
|
namespace MediaWiki\Diff\Hook;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* @stable for implementation
|
|
|
|
|
* @ingroup Hooks
|
|
|
|
|
*/
|
|
|
|
|
interface DifferenceEngineOldHeaderNoOldRevHook {
|
|
|
|
|
/**
|
2020-03-16 23:31:05 +00:00
|
|
|
* Use this hook to change the $oldHeader variable in cases when there is no old revision
|
2020-03-03 22:50:34 +00:00
|
|
|
*
|
|
|
|
|
* @since 1.35
|
|
|
|
|
*
|
2020-03-16 23:31:05 +00:00
|
|
|
* @param string &$oldHeader Empty string by default
|
2020-03-03 22:50:34 +00:00
|
|
|
* @return bool|void True or no return value to continue or false to abort
|
|
|
|
|
*/
|
|
|
|
|
public function onDifferenceEngineOldHeaderNoOldRev( &$oldHeader );
|
|
|
|
|
}
|