$heading ) : // @phpstan-ignore variable.undefined ?>