Updated mediawiki/extensions
Project: mediawiki/extensions/DumpHTML  70548e6346b7919bad5da8d6613797330e5541fe

DumpHTML: Minor code fixes

- Remove disabled-by-hardcoding profiling. Especially since maintenance
  scripts no longer disable profiling
- Remove --udp-profile option and related code for the same reason--just
  use normal core profiling
- Remove MW_FORCE_PROFILE, it does nothing
- Inline callback functions for xml_set_element_handler()
- Remove wfMkdirParents() wrapper

Change-Id: Ia38aa9048814787c49a1108813a1d9e0bc00fce1