HomePhabricator

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

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend ce847830e4f4e33cc0dd43e340414544d60fb9e1

Hygiene: Move site-specific configs to Site.php and improve documentation

Previously $wgMFCustomLogos and $wgMobileFrontendLogo were in Skin.php
while $wgMFTrademarkSitename was in Site.php.

Change-Id: I25957a5141a641446cdb56cdc805cf5f5253e2af

Details

Provenance
jenkins-botAuthored on
Gerrit Code ReviewCommitted on May 12 2015, 10:33 PM
Parents
rMEXT7656a4f960a9: Updated mediawiki/extensions Project…
Branches
Unknown
Tags
Unknown
ChangeId
I25957a5141a641446cdb56cdc805cf5f5253e2af

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT124c04f05b53: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).May 12 2015, 10:33 PM