mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-28 02:00:57 +00:00
16 lines
273 B
PHP
16 lines
273 B
PHP
|
<?php
|
||
|
|
||
|
namespace MediaWiki\Extension\DiscussionTools\ThreadItem;
|
||
|
|
||
|
interface HeadingItem extends ThreadItem {
|
||
|
/**
|
||
|
* @return int Heading level (1-6)
|
||
|
*/
|
||
|
public function getHeadingLevel(): int;
|
||
|
|
||
|
/**
|
||
|
* @return bool
|
||
|
*/
|
||
|
public function isPlaceholderHeading(): bool;
|
||
|
}
|