I am configuring a custom MediaWiki install for a large system which has a strict
infrastructure of pushing HTML rather then serving PHP dynamically.
My approach is to serve pages which edit under the shortname /ew (Edit Wiki) when the
pages are being edited, and under /w (Wiki)when the static pages are simply being read,
and auto-pushing the HTML to /w after editing.
I have successfully used dumpHTML.php to export the static pages fine, but unfortunately
dumpHTML.php seems to have no option for identifying edit links and sending them back to
the source php location.
Similarly, there is seemingly no way to tell MediaWiki to redirect to the HTML after
editing a page.
Before I go down a path of hacking the rendering engine and setting up URL rewrites to do
what I want, I just wanted to put out a feeler for any other potential solutions that
already exist, as my research hasn't been able to locate any.
Also, if anyone has any heads up as to what to look out for as I proceed, thats
appreciated to.
Thanks
Seth