Updated mediawiki/core Project: mediawiki/extensions/MobileFrontend rEMFR02beaa1182e9

Make the list of possible top headings configurable

This is a very temporary implementation of a configurable list of
possible html tags, that could be recognized as a so called top
heading.

Bug: T110436
Change-Id: Ifdeb51f47cc4e41692a95d38e4b0a64c1da6a472