mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-24 08:23:52 +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;
|
||
|
|
}
|