dumpHTML is used by Wikimedia, so I presume that
functions correctly;
you would be advised to upgrade to 1.12 though, rather than 1.11.
MinuteElectron.
Thanks very much. And my plan is to update to the most current, when I
finally get approval to do so (version 1.13 may be out by then...) I
don't know if I want to try taking a somewhat modified 1.9 directly to
the new parser in 1.12 though.