HomePhabricator

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

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend 3f23923a8f1846768d5d4925c896c30e9f1389ba

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

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTbd4ba801cd5f: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Aug 27 2015, 6:29 PM