PHP terminal documentation tool