DiffToolsHook.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Diff\Hook;
 
use MediaWiki\Revision\RevisionRecord;
use MediaWiki\User\UserIdentity;
 
interface DiffToolsHook {
    public function onDiffTools( $newRevRecord, &$links, $oldRevRecord, $userIdentity );
}