A static site generator in PHP