Update to PHP 7

I updated the PHP version that my website uses to PHP 7. I ran into two problems:

  1. I had to disable the db-cache-reloaded-fix plugin. I’m not even sure if it did any good anymore.
  2. 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.

Share

About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in Uncategorized. Bookmark the permalink.

One Response to Update to PHP 7

  1. Pingback: CodeColorer codecolorer-core.php for PHP 7 | A Concurrent Affair

Leave a Reply