Well, that was a nightmare. I updated the wiki server, which then updated php to version 7, which required updating the dokuwiki code, which broke half the plugins.
I have got it working again, but I strongly suspect that not all the plugins are working fully, and not all the patches I had made are still in existence.
So if you notice anything wrong on the wiki, let me know and I’ll try to figure it out (again, perhaps).
Hopefully this doesn’t lead in to a disaster updating the forum tomorrow.