Updated mediawiki/extensions
Project: mediawiki/extensions/DumpHTML  0df55f1c89b8c802dcd162b918fbd5fb1c35ab9a

Stylize MungTitle.inc

Change-Id: I87057481c946f3bda35a815bd6899aeed3b2d46c