Monthly Archives: October 2016

Actually, there were four more lines that needed to be edited in codecolorer-core.php to make the CodeColorer plugin work for PHP 7. To make it easier for other people, below is the code in its entirety.

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 … Continue reading →

I still have a Samsung Galaxy S4. It’s old and slow, the (second) battery is bad, and the magnetometer is probably completely broken, but at least it doesn’t explode. And it’s paid off. For the last few months, however, I’ve … Continue reading →