How do I generate an HTML rendering of a wiki page, along the lines of the Toolserver homepage?
Topic on Project:Support desk/Flow
"Along the lines of the toolserver"? No idea what you mean with that.
What MediaWiki creates by default are HTML pages. So: Just take its default output and you have an HTML rendering...
Don't know about the toolserver, but check out Extension:DumpHTML.
Thank you both, but what I'm looking for is something that would dynamically generate a static HTML page from a wiki page when that page is edited. For example, sysops on the Toolserver wiki can edit a project page, which triggers some sort of flag that results in the HTML-based home page being updated. What I'm looking for is the identity of that flag.
You should contact the toolserver admins to figure out what they've done.
You can manually request the page and save it with wget, for example.
If you only want the contents and not the entire skin, append ?action=raw to the URL (or &action=raw if a ? is already present in the URL)
Thank you both for your help! I'll email the Toolserver admins later today.
Did you ever figure out what they did?