A PHP documentation generator