HeadingPermalinkExtension.php Interfaces, Classes and Traits HeadingPermalinkExtension Extension which automatically anchor links to heading elements