mediawiki-extensions-Discus.../includes/ThreadItem/DatabaseHeadingItem.php
Bartosz Dziewoński 433e57394c Use PHP 7.4 property types
Change-Id: I788db64f0c0c00894d77256b7f016d44eda4bbb1
2022-10-28 21:56:38 +02:00

51 lines
1.4 KiB
PHP

<?php
namespace MediaWiki\Extension\DiscussionTools\ThreadItem;
use MediaWiki\Page\ProperPageIdentity;
use MediaWiki\Revision\RevisionRecord;
class DatabaseHeadingItem extends DatabaseThreadItem implements HeadingItem {
use HeadingItemTrait;
private bool $placeholderHeading;
private int $headingLevel;
// Placeholder headings must have a level higher than real headings (1-6)
private const PLACEHOLDER_HEADING_LEVEL = 99;
/**
* @param ProperPageIdentity $page
* @param RevisionRecord $rev
* @param string $name
* @param string $id
* @param DatabaseThreadItem|null $parent
* @param bool|string $transcludedFrom
* @param int $level
* @param ?int $headingLevel Heading level (1-6). Use null for a placeholder heading.
*/
public function __construct(
ProperPageIdentity $page, RevisionRecord $rev,
string $name, string $id, ?DatabaseThreadItem $parent, $transcludedFrom, int $level,
?int $headingLevel
) {
parent::__construct( $page, $rev, 'heading', $name, $id, $parent, $transcludedFrom, $level );
$this->placeholderHeading = $headingLevel === null;
$this->headingLevel = $this->placeholderHeading ? static::PLACEHOLDER_HEADING_LEVEL : $headingLevel;
}
/**
* @inheritDoc
*/
public function getHeadingLevel(): int {
return $this->headingLevel;
}
/**
* @inheritDoc
*/
public function isPlaceholderHeading(): bool {
return $this->placeholderHeading;
}
}