On 4 Jul 2022, at 18:06, Jeffrey Walton <noloader@gmail.com> wrote:
It would be helpful if Mediawiki put a new LocalSettings.php in thetarball so we can see what a modern one looks like.