Well, I’ve managed to get the control panel back by replacing themes.php and my theme folder with the pre-upgrade backup copies. This seems to have solved the problem, but do I need to do anything else, for example do I need to somehow upgrade themes.php again?