Help talk:ProofWiki Extension

I've seen that the &lt;section&gt; tag is used on some help pages. As a result, no table of contents is produced. Should we keep it this way, or remove the tag from those pages? --barto (talk) 11:26, 30 July 2017 (EDT)


 * Section tags were invented by me to have some way of auto-incrementing heading levels upon transclusion, which vastly simplifies a structured, consistent way of having heading levels while maintaining transcludability. Sadly I have had no time to resolve the issue with the TOC. It's a MediaWiki architectural pain, but I want to address it some day. Meanwhile I think it would be a waste to remove the Section tags. Is this bearable for you? I know of this restriction; also why I have been reluctant in applying it. &mdash; Lord_Farin (talk) 08:46, 20 August 2017 (EDT)

With the transclude template, there seems to be a considerably larger delay (>4h) for edits to a transclude page to take effect on the transclusion page. It may be that it's not a general fact and that I'm looking at an exceptional case. (The transclusion of Help:Page Editing at Help:Editing) --barto (talk) 12:44, 30 July 2017 (EDT)


 * These updates are scheduled and processed using a job mechanism triggered on a fraction of page views. You can force it by selecting top menu option More -> Purge. Please contact Joe if you don't see it; it should be available for all privileged users. Hope that helps. &mdash; Lord_Farin (talk) 08:46, 20 August 2017 (EDT)

Combining &lt;section&gt; with transclusion
Can &lt;section&gt; tags be transcluded? I.e. are all templates included after has done its work, or can some be included before? (This is the main issue with LST.) --barto (talk) (contribs) 12:54, 26 October 2017 (EDT)
 * I'm not sure I'm getting your question. Can you illustrate with a practical situation? &mdash; Lord_Farin (talk) 13:00, 26 October 2017 (EDT)
 * Say template A contains &lt;section&gt; tags, and A is transcluded at page B, and B is transcluded at C via . Will  see the &lt;section&gt; tags, or does it only see the tags that are in the originial wikitext source of B? --barto (talk) (contribs) 13:10, 26 October 2017 (EDT)
 * Ah, you ask about the interplay between regular and extension transclusion. From past experience I would expect C to see the section tags, because content is first completely transcluded (regularly) before parsing (also section tags) begins. &mdash; Lord_Farin (talk) 16:01, 26 October 2017 (EDT)

Do I understand correctly if the &lt;section&gt; tag serves only as an anchor for ? --barto (talk) (contribs) 12:54, 26 October 2017 (EDT)
 * As the page describes, section tags are currently used for transclusion and folding. Folding examples are not so commonly used, but there are a few instances. &mdash; Lord_Farin (talk) 13:00, 26 October 2017 (EDT)
 * ty. btw, I do support the extension and I like its functionality a lot. Not trying to detract it. --barto (talk) (contribs) 13:59, 26 October 2017 (EDT)