A simple documentation system written in PHP