Re: [Mediawiki-l] comment in getFriendlyName of dumpHTML.inc