1<?php 2 3namespace MediaWiki\Diff\Hook; 4 5use DifferenceEngine; 6use Revision; 7 8/** 9 * @deprecated since 1.35, use DifferenceEngineViewHeader 10 * @ingroup Hooks 11 */ 12interface DiffViewHeaderHook { 13 /** 14 * This hook is called before diff display. 15 * 16 * @since 1.35 17 * 18 * @param DifferenceEngine $diff 19 * @param Revision|null $oldRev Old revision (may be null/invalid) 20 * @param Revision $newRev New revision 21 * @return bool|void True or no return value to continue or false to abort 22 */ 23 public function onDiffViewHeader( $diff, $oldRev, $newRev ); 24} 25