07: Don't use `error_log` as error file, as PHP can sometimes write errors to that file
07: Add a summary
07: Add a summary
Merge branch 'master' into gh-pages