Thanks @MusikAnimal !
By the way, from reading T285272 I notice that toolforge.org sites are for the most part community-maintained and not in primary scope. Going forward, I may take a look at MediaWiki itself in the coming weeks instead :)
Hi, just reporting a small finding which I wanted to flag after looking around WMF Toolforge. Please let me know if you require any additional info.