> On 16 Oct 2025, at 15:19, Laurenz Albe <[email protected]> wrote: > On Thu, 2025-10-16 at 11:28 +0800, jian he wrote:
>> I don't know the purpose of this extra ``"class="parameter"``. > > I don't know either. I guess it makes no visible difference. It's simply markup defined by DocBook to indicate what type the content to be replaced is, in this case a parameter. While it might not make any visual difference in our rendering, someone might be rendering the docs in another way where it does show a difference (like using a different font or decoration to differentiate parameters from functions etc). -- Daniel Gustafsson
