SpecialRandomGetRandomTitleHook.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Hook;
 
use MediaWiki\Title\Title;
 
interface SpecialRandomGetRandomTitleHook {
    public function onSpecialRandomGetRandomTitle( &$randstr, &$isRedir,
        &$namespaces, &$extra, &$title
    );
}