Updated mediawiki/extensions
Project: mediawiki/extensions/DumpHTML  08bc14343d34ad945575045604b845dad8f7142d

Replace deprecated SpecialPage::executePath()

Change-Id: I5dd944067f391059d43c45295bbe0789ea97e3ae