Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend 7534b8b4d833ded0121b15dba1ee23006ed2e1e1
Border box no longer default
Except for VE
Bug: T86366
Change-Id: If685f987eb29c36afc3e2b11ff99c8ad84333b4b
Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… Authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>. Tags None Subscribers None
Description
Details
|