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)