mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-24 00:13:36 +00:00
433e57394c
Change-Id: I788db64f0c0c00894d77256b7f016d44eda4bbb1
51 lines
1.4 KiB
PHP
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;
|
|
}
|
|
}
|