Until yesterday, I thought that Wikipedia's static dumps were generated with the maintenance/dumpHTML.{php,ini} scripts. But the page http://www.mediawiki.org/wiki/Alternative_parsers currently reads: "This has been used (years ago) to create the static dumps at http://static.wikipedia.org".

So, what is the method currently used to generate the dumps? I need to dump a wiki for offline use, and I'd like to be as compatible as possible.

(I'd also like to dump the math equations and other extensions I have installed, so I thought staying as close as possible to mediawiki would be the way to go).