Definition talk:Model (Predicate Logic)

From ProofWiki
Jump to navigation Jump to search

There remains a problem with the "Section" paradigm: that when you do a "what links here" you don't get what pages transclude it.

In my opinion that's something of a dealbreaker because it makes maintenance considerably more difficult.

Unfortunately because of exactly that limitation, reversing out said "section" tags becomes a bit hit-and-miss.

How feasible would it be to "fix" the section code so as for either the "what links here" tool to return parent pages?

Does it even make sense to enforce the rule that demands the subpage naming convention (parent page)/(subpage) to be enforced, so as to at least show the parent page as a link at the top of the page?

Having said that, I'm not even sure that works under the "section" paradigm either.

Thoughts? --prime mover (talk) 12:49, 18 March 2022 (UTC)

I understand and your concern is legitimate. I was also already playing with the idea to improve the code in general as it is now using the HTML-standard tag "section", and such should be avoided. I intend to make it "pw-section" in accordance with technical standards for custom extensions.
Additionally I will investigate whether the transclusion could be detected; it is possible this might require some surgery in MediaWiki code. Will report back. — Lord_Farin (talk) 12:58, 18 March 2022 (UTC)