Manual talk:PlatformSettings.php

Starting point

Latest comment: 7 months ago1 comment1 person in discussion

I 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)Reply