Manual talk:PlatformSettings.php
Latest comment: 7 months ago by Tenbergen in topic Starting point
Starting point
editI probably got half of this wrong, and it doesn't have enough info to be useful, but we ran into this using a debian package and it isn't documented here yet, so I hope someone who actually understands it better can fill in some details. Tenbergen (talk) 05:16, 23 March 2024 (UTC)