Last modified: 2007-05-09 20:55:40 UTC
I propose to add $wgDisableCounter=true in dumpHTML.php.
Fixed in r22054.