DifferenceEngineMarkPatrolledLinkHook.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Diff\Hook;
 
use DifferenceEngine;
 
interface DifferenceEngineMarkPatrolledLinkHook {
    public function onDifferenceEngineMarkPatrolledLink( $differenceEngine,
        &$markAsPatrolledLink, $rcid
    );
}