Searched refs:POSITION_PLACEHOLDER (Results 1 – 2 of 2) sorted by path
31 public const POSITION_PLACEHOLDER = 'placeholder';66 } elseif ($position === self::POSITION_PLACEHOLDER) {53 public const POSITION_PLACEHOLDER = 'placeholder'; global() define in League\\CommonMark\\Extension\\TableOfContents\\TableOfContentsBuilder
31 'position' => Expect::anyOf(TableOfContentsBuilder::POSITION_BEFORE_HEADINGS, TableOfContentsBuilder::POSITION_PLACEHOLDER, TableOfContentsBuilder::POSITION_TOP)->default(TableOfContentsBuilder::POSITION_TOP),47 if ($environment->getConfiguration()->get('table_of_contents/position') === TableOfContentsBuilder::POSITION_PLACEHOLDER) {