I updated the PHP version that my website uses to PHP 7. I ran into two problems:
- I had to disable the db-cache-reloaded-fix  plugin. I’m not even sure if it did any good anymore.
- I also ran into an error with the CodeColorer  plugin. This one I needed to patch, because I have a bunch of code snippets in many blog posts. Fortunately, someone had solved this problem already .
If you notice anything else, please let me know.