RedirectLookup.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Page;
 
use MediaWiki\Linker\LinkTarget;
 
interface RedirectLookup {
    public function getRedirectTarget( PageIdentity $page ): ?LinkTarget;
}