SpecialRandomGetRandomTitleHook.php

Go to the documentation of this file.

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