Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  7c84eed0ff20e0c222fbd975195995f244313f60

Make sure table of contents re-initialises

It seems that the formatter wraps the bodytext template value in
a DIV. We now have an inconsistent page.html

Bug: 60171
Change-Id: I23dbeca08084beadb21ea2f323cc43aa80f0db78