Mobile
WPtouch
cd /usr/home/wiki/skins wget --no-check-certificate https://extdist.wmflabs.org/dist/skins/WPtouch-REL1_27-2091e4b.tar.gz
In LocalSettings.php
wfLoadSkin( 'wptouch' );
Change from:
$wgDefaultSkin = "vector";
to:
$wgDefaultSkin = "wptouch";
Or set default based on user agent, e.g.:
if (preg_match("/mobile|webos|opera mini/i",
$_SERVER['HTTP_USER_AGENT'])){
$wgDefaultSkin = "wptouch";
}
else {
$wgDefaultSkin = "vector";
}
MobileFrontend
In /usr/home/extensions
wget --no-check-certificate https://extdist.wmflabs.org/dist/extensions/MobileFrontend-REL1_27-039b40b.tar.gz tar -xzf MobileFrontend-REL1_27-039b40b.tar.gz
In LocalSettings.php
require_once "$IP/extensions/MobileFrontend/MobileFrontend.php"; $wgMFAutodetectMobileView = true;