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