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