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