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

Authored by Florian.
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.


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

Bug: T110436
Change-Id: Ifdeb51f47cc4e41692a95d38e4b0a64c1da6a472

Event Timeline