feat(pm/wiki): enable mobile support #148

merged

opened by

a.starrysky.fyi 6 days ago targeting main from private/minion/push-lqpoylmmumyo

By default, there's no good mobile skin for Mediawiki. You can load "minerva", which appears to come bundled but not by-default-enabled, but there's no auto-switching to it when on mobile devices.

The MobileFrontend plugin (as used on Wikipedia) fixes this by using minerva on mobile devices and a different theme on desktop.

options

unified split

Changed files

+17

npins

sources.json

packetmix

systems

teal

wiki.nix

+12

npins/sources.json

··· 102 102 "url": null, 103 103 "hash": "sha256-nPShvlf9GizwfzZstFhj4mv3DcHg8leN+zfiv9kETAg=" 104 104 }, 105 + "MobileFrontend": { 106 + "type": "Git", 107 + "repository": { 108 + "type": "Git", 109 + "url": "https://gerrit.wikimedia.org/r/mediawiki/extensions/MobileFrontend" 110 + }, 111 + "branch": "REL1_45", 112 + "submodules": false, 113 + "revision": "2bccb7e19bbe154ac24eae97137ce5396d63339d", 114 + "url": null, 115 + "hash": "sha256-X4vq7SnGQZMBjDDCv6ZRllnDzJ/QmKoA2REkC/2jm+g=" 116 + }, 105 117 "NamespacePreload": { 106 118 "type": "Git", 107 119 "repository": {

packetmix/systems/teal/wiki.nix

··· 70 70 }/share/php/Elastica"; # needed for cirrussearch 71 71 Linter = null; 72 72 Math = null; 73 + MobileFrontend = project.inputs.MobileFrontend.src; 73 74 NamespacePreload = project.inputs.NamespacePreload.src; 74 75 Network = "${ 75 76 config.services.phpfpm.pools.mediawiki.phpPackage.buildComposerProject { ··· 222 223 223 224 $wgFixDoubleRedirects = true; 224 225 226 + $wgMFAutodetectMobileView = true; 227 + $wgMFEnableMobilePreferences = true; 228 + wfLoadSkin( 'MinervaNeue' ); 229 + 225 230 $wgShowExceptionDetails = true; 226 231 $wgDevelopmentWarnings = true; 227 232 '';