A static web site generator for PHP programmers