Add command to display documentation of php symbol a point
Minor changes