MediaWiki  master
DifferenceEngineOldHeaderNoOldRevHook.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Diff\Hook;
4 
12 interface DifferenceEngineOldHeaderNoOldRevHook {
21  public function onDifferenceEngineOldHeaderNoOldRev( &$oldHeader );
22 }
MediaWiki\Diff\Hook\DifferenceEngineOldHeaderNoOldRevHook\onDifferenceEngineOldHeaderNoOldRev
onDifferenceEngineOldHeaderNoOldRev(&$oldHeader)
Use this hook to change the $oldHeader variable in cases when there is no old revision.