Sounds like a good place to have it. Adding the button should be doable on the server side I think (haven't looked at the code).
Tue, Feb 11
Thu, Feb 6
Wed, Feb 5
This was (apparently) fixed at some point. Huzzah!
Tue, Feb 4
Changed for all 2020 projects.
Mon, Feb 3
I add this script to /usr/local/bin/. It checks once a day and will send a mail if the disk space usage is 90% or more.
@Lokal_Profil, DownNotifier says that we can only have 5 URL as a free account, even though we have a lot more than that. Do you know what's going on here?
Fri, Jan 31
One more computer installed.
All 2020 projects' global metrics pages now have the template.
Thu, Jan 30
I added one potential benefit (using MediaWiki's database mechanisms), but otherwise it looks good.
Wed, Jan 29
Tue, Jan 28
If we're going to get rid of those servers anyway, which I believe is the plan, do we really need to do that? I just remember it being very hard to find stuff on them.