Anchors missing on some pages

[greg0ire]

I wanted to easily copy a link to a title in a documentation page, such as https://www.doctrine-project.org/contribute/index.html#coding-standard-check, and couldn't find any, although such handy anchors are present for instance on https://www.doctrine-project.org/projects/doctrine-orm/en/stable/tutorials/pagination.html

The code responsible for this seems to be here:

doctrine-website/lib/Docs/RST/RSTPostBuildProcessor.php

Lines 141 to 148 in a009d28

	private function fixHeaderAnchors(string $contents): string
	{
	return preg_replace(
	'/<div class="section" id="(.*)">\n<h(\d)>(.*)<\/h(\d)>/',
	'<div class="section"><a class="section-anchor" id="$1" name="$1"></a><h$2 class="section-header"><a href="#$1">$3<i class="fas fa-link"></i></a></h$2>',
	$contents,
	);
	}

[SenseException]

Looks like the project docs are getting the anchor link while the website itself doesn't.

[jaapio]

I fixed this in #594 :-)

[jaapio]

This issue can be closed now?

[greg0ire]

Absolutely!