DifferenceEngineNewHeaderHook.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Diff\Hook;
 
use DifferenceEngine;
 
interface DifferenceEngineNewHeaderHook {
    public function onDifferenceEngineNewHeader( $differenceEngine, &$newHeader,
        $formattedRevisionTools, $nextlink, $rollback, $newminor, $diffOnly, $rdel,
        $unhide
    );
}