Home
last modified time | relevance | path

Searched refs:POSITION_PLACEHOLDER (Results 1 – 2 of 2) sorted by path

/plugin/commonmark/vendor/league/commonmark/src/Extension/TableOfContents/
H A DTableOfContentsBuilder.php53 public const POSITION_PLACEHOLDER = 'placeholder'; define in League\\CommonMark\\Extension\\TableOfContents\\TableOfContentsBuilder
87 } elseif ($position === self::POSITION_PLACEHOLDER) {
H A DTableOfContentsExtension.php25 …onment->getConfig('table_of_contents/position') === TableOfContentsBuilder::POSITION_PLACEHOLDER) {