mediawiki-extensions-Discus.../includes/SpecialTopicSubscriptions.php
Umherirrender 64bcb583e9 Use namespaced classes
Done automatically via script
Change to extension.json done manually

Change-Id: Ied7bbddd357290ac6be6bf480be0ee9116e77365
2023-12-11 16:38:02 +01:00

60 lines
1.3 KiB
PHP

<?php
namespace MediaWiki\Extension\DiscussionTools;
use ErrorPageError;
use MediaWiki\Cache\LinkBatchFactory;
use MediaWiki\Linker\LinkRenderer;
use MediaWiki\SpecialPage\SpecialPage;
class SpecialTopicSubscriptions extends SpecialPage {
private LinkRenderer $linkRenderer;
private LinkBatchFactory $linkBatchFactory;
public function __construct(
LinkRenderer $linkRenderer,
LinkBatchFactory $linkBatchFactory
) {
parent::__construct( 'TopicSubscriptions' );
$this->linkRenderer = $linkRenderer;
$this->linkBatchFactory = $linkBatchFactory;
}
/**
* @inheritDoc
* @throws ErrorPageError
*/
public function execute( $subpage ) {
$this->requireNamedUser();
parent::execute( $subpage );
$this->getOutput()->addModules( [ 'ext.discussionTools.init' ] );
$this->getOutput()->addHtml( $this->msg( 'discussiontools-topicsubscription-special-intro' )->parseAsBlock() );
$this->getOutput()->enableOOUI();
$pager = new TopicSubscriptionsPager(
$this->getContext(),
$this->linkRenderer,
$this->linkBatchFactory
);
$this->getOutput()->addParserOutputContent( $pager->getFullOutput() );
}
/**
* @inheritDoc
*/
public function getDescription() {
return $this->msg( 'discussiontools-topicsubscription-special-title' );
}
/**
* @inheritDoc
*/
protected function getGroupName() {
return 'login';
}
}